Logo

Type Theory Forall

Type Theory much beyond inference rules

Episode image

#11 FP, Monads, GHC, and beyond

Alejandro Serrano

Apr 11th 2024   |  67 min
0:00
0:00

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