Type Theory Forall

#11 FP, Monads, GHC, and beyond - Alejandro Serrano

Type Theory Forall

In this episode we have talk with Alejandro Serrano Mena, he works on 47 degrees and is a published author of two books about Haskell: The Book of Monads and Practical Haskell.

We talk about many interesting features behind functional programming such as adts, pattern matching, impredicativity, monads, effects, hacking the ghc and how all this comes together to grab industry attention to adopt functional programming features over the past decade.

Links

Next Episodes




Type Theory Forall

#9 Logic and Proof Theory - Anupam Das @ Type Theory Forall

πŸ“† 2021-05-28 12:30 / βŒ› 00:57:20


Type Theory Forall

#9 Logic and Proof Theory - Anupam Das @ Type Theory Forall

πŸ“† 2021-05-28 12:30 / βŒ› 00:57:20