George Wilson - The Extended Functor Family

[@michaelmroz7433]

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.

[@enricobuonanno]

What a great talk!

[@MyAce8]

really concise, and really funny. Definitely keeping this to teach people about the more exotic type classes

[@KeithSalisbury]

Such a good talk, and so nicely delivered thanks George!

[@EvanMildenberger]

10:00 This all makes me think about tensors and the ability to talk about covariance and contravariance at the same time explicitly: for example, a vector is a (1,0)-tensor, a covector/linear form is a (0,1)-tensor, a linear vector space map is a (1,1)-tensor, etc. It seems that (co-)functors are either fully covariant or contravariant but never mixed. What would be a category theory / type theory / functional programming equivalent of a mixed tensor which could have some number of covariant and contravariant pieces? Edit: It seems he explained something like a (1,1)-tensor from abstract algebra as a Profunctor in that it takes 1 contravariant input type and gives 1 covariant output type. But I'm wondering about the terminology that generalizes (p,q) tensors so that you could talk about something that takes 42 contra- input types and gives 314 covariant output types.

[@dustin20541]

Great video. Please keep making more of them George.

[@Bratjuuc]

i'm really glad I stumbled upon this talk. Thanks

[@jsoo1]

You clicked some lights on for me! Thanks!

[@TheMcallist1]

Brilliant talk. Thanks George

[@daweiofficial536]

This guy is precious! The best teacher out there! I love you man!

[@WarrenLeggatt]

Great talk and props for the King Chrimson shirt :)

[@mortenbrodersen8664]

Great talk!

[@christophealexandre1538]

Brilliant!

[@thibremy]

Really nice ! Great job :)

[@StudentOfKyoto]

Amazing talk

[@АнимусАнанимус]

He were explained some complicated thnigs pretty simple! Very good talk! :)

[@kahnfatman]

Is Maybe a special case of Either Nothing?

[@DougBeardsley]

Maybe is equivalent to Either ()

[@StanShoebin]

he my brother, really he is.

[@nilp0inter2]

you have a very cool brother, congrats

[@ShaeErisson]

Wow, I thought profunctors would be scary, but they're not.

[@lucasa8710]

good

[@karthikravikanti]

Nice rhyme +13:11

[@AnindyaKhan]

This guy is brilliant, ma sha Allah

[@holdenmcgroin8917]

This is what Haskell can do to a person...