Type Theory Forall

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

Listen Later

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
    • ...more
    View all episodesView all episodes
    Download on the App Store
    Type Theory ForallBy Pedro Abreu
    • 4.8
    • 4.8
    • 4.8
    • 4.8
    • 4.8

    4.8

    13 ratings

    More shows like Type Theory Forall

    View all
    Hanselminutes with Scott Hanselman by Scott Hanselman

    Hanselminutes with Scott Hanselman

    383 Listeners

    The Quanta Podcast by Quanta Magazine

    The Quanta Podcast

    530 Listeners

    ChinaTalk by Jordan Schneider

    ChinaTalk

    288 Listeners

    CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

    CoRecursive: Coding Stories

    190 Listeners

    Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll | Wondery

    Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

    4,175 Listeners

    Iowa Type Theory Commute by Aaron Stump

    Iowa Type Theory Commute

    19 Listeners

    Dwarkesh Podcast by Dwarkesh Patel

    Dwarkesh Podcast

    505 Listeners

    Signals and Threads by Jane Street

    Signals and Threads

    72 Listeners

    The Haskell Interlude by Haskell Podcast

    The Haskell Interlude

    13 Listeners

    Software Unscripted by Richard Feldman

    Software Unscripted

    29 Listeners

    The Rest Is Politics by Goalhanger

    The Rest Is Politics

    3,070 Listeners

    Oxide and Friends by Oxide Computer Company

    Oxide and Friends

    63 Listeners

    The Rest Is Money by Goalhanger

    The Rest Is Money

    182 Listeners

    BG2Pod with Brad Gerstner and Bill Gurley by BG2Pod

    BG2Pod with Brad Gerstner and Bill Gurley

    474 Listeners