Going deeper down the category theory rabbit hole, we explore one of the most common and useful abstractions in the functional programming world. You're likely already familiar with Functors but just didn't know it yet.

Episode 16 patrons:

Chris Krycho

Tyler Harper

George Webster

Show Notes:

Functor

map :: (a -> b) -> f a -> f b

Bifunctor

bimap :: (a -> b) -> (c -> d) -> f a c -> f b d

Profunctor

dimap :: (a -> b) -> (c -> d) -> f b c -> f a d

Phil Freeman's talk on Profunctors: https://www.youtube.com/watch?v=OJtGECfksds