#17 The Lost Elegance of Computation
May 9th 2022
Conal Elliott
#16 Agda, K Axiom, HoTT, Rewrite Theory
April 2nd 2022
Jesper Cockx
#15 Coq Projects, Agda, Idris, Kind
March 27th 2022
Nitin and Eric
#14 POPL, Parametricity, Scala, DOT
February 12th 2022
Nitin and Eric
#13 C/C++, Emacs, Haskell, and Coq. The Journey
December 23rd 2021
John Wiegley
#12 Tenure, Sexism and ADHD
November 10th 2021
Talia Ringer
#11 FP, Monads, GHC, and beyond
October 4th 2021
Alejandro Serrano
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
- Our new twitter @ttforall
- Alejandro’s twitter
- Book of Monads
- Practical Haskell
- The Haskell Interlude
- Tweag’s youtube channel on the GHC
Tweet