George Wilson - The Extended Functor Family
ฝัง
- เผยแพร่เมื่อ 4 ต.ค. 2024
- George Wilson's talk at Compose :: Conference in Melbourne, 2016.
--
Functors are ubiquitous in modern strongly-typed functional programming. Every Haskell beginner will come across them as one of the first typeclasses introduced. Stronger structures such as Applicative and Monad often steal the spotlight, but there are many structures related to the humble Functor that go unnoticed. The goal of this talk is to show off and give an intuition for some of these other structures: contravariant functors, bifunctors, and profunctors. With some of these making their way into Haskell’s standard library recently, now is a perfect time to be introduced to or brush up on these concepts. Code examples will use Haskell, but these techniques extend to any language with typeclasses or a similar mechanism, such as Scala’s implicits.
--
www.composeconf...
I watched this talk for the first time around when it was delivered, when I was first properly getting into FP.
Even given that, I've watched it at least three times in the past three months. It's just so fun.
What a great talk!
really concise, and really funny. Definitely keeping this to teach people about the more exotic type classes
Such a good talk, and so nicely delivered thanks George!
You clicked some lights on for me! Thanks!
This guy is precious! The best teacher out there! I love you man!
i'm really glad I stumbled upon this talk. Thanks
Brilliant talk. Thanks George
Great video. Please keep making more of them George.
Great talk and props for the King Chrimson shirt :)
He were explained some complicated thnigs pretty simple! Very good talk! :)
Great talk!
Really nice ! Great job :)
Brilliant!
Amazing talk
Wow, I thought profunctors would be scary, but they're not.
he my brother, really he is.
you have a very cool brother, congrats
This guy is brilliant, ma sha Allah
This is what Haskell can do to a person...
good
Is Maybe a special case of Either Nothing?
Maybe is equivalent to Either ()
Nice rhyme +13:11