Type Theory Forall

#52 Why is Haskell so special - Lennart Augustsson


Listen Later

Lennart Augustsson has spent the last four decades quietly — and sometimes mischievously — shaping the way we think about code.

He co-authored Lazy ML in the early 80s, wrote A Compiler for LML back in 1984, and was behind HBC, the first publicly available Haskell compiler.

If you've used Haskell, worked with hardware described in Bluespec, or played around with weird combinator-based toy languages, there's a decent chance you've crossed paths with his ideas — directly or indirectly.

He's also won the International Obfuscated C Code Contest — not once, but multiple times — reminding us that playfulness and rigor aren't mutually exclusive.

But his work didn't stop in academia or hobby projects. He’s brought functional programming into finance, hardware design, large-scale industry — with stints at Credit Suisse, Facebook, Google, and now Epic Games, where he’s helping design a new functional logic programming language called Verse.

Over the course of this conversation, we’ll talk about lazy evaluation, type theory, programmable dungeons, the compromises of real-world programming, and what it means to still be building languages after 40 years in the game.

Links
  • Type Theory Forall Merch Store
  • Ko-Fi
  • Discord Server
  • Haskell Interlude
  • Lennart's Wikipedia Page
  • Lennart's Webpage
  • ...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
    Marketplace by Marketplace

    Marketplace

    8,749 Listeners

    The Knowledge Project by Shane Parrish

    The Knowledge Project

    2,703 Listeners

    The Changelog: Software Development, Open Source by Changelog Media

    The Changelog: Software Development, Open Source

    288 Listeners

    Conversations with Tyler by Mercatus Center at George Mason University

    Conversations with Tyler

    2,460 Listeners

    The Quanta Podcast by Quanta Magazine

    The Quanta Podcast

    540 Listeners

    CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

    CoRecursive: Coding Stories

    188 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,174 Listeners

    Machine Learning Street Talk (MLST) by Machine Learning Street Talk (MLST)

    Machine Learning Street Talk (MLST)

    97 Listeners

    Dwarkesh Podcast by Dwarkesh Patel

    Dwarkesh Podcast

    531 Listeners

    The Rest Is History by Goalhanger

    The Rest Is History

    15,631 Listeners

    The Haskell Interlude by Haskell Podcast

    The Haskell Interlude

    14 Listeners

    Software Unscripted by Richard Feldman

    Software Unscripted

    29 Listeners

    Oxide and Friends by Oxide Computer Company

    Oxide and Friends

    66 Listeners

    Past Present Future by David Runciman

    Past Present Future

    342 Listeners

    Sharp Tech with Ben Thompson by Andrew Sharp and Ben Thompson

    Sharp Tech with Ben Thompson

    95 Listeners