The Haskell Interlude

Haskell Podcast

This is the Haskell Interlude, where the five co-hosts (Wouter Swierstra, Andres Löh, Alejandro Serrano, Niki Vazou, and Joachim Breitner) chat with Haskell guests!

  1. 13. 4.

    80: POPL 2026 - Part 1

    This is the first part of a miniseries on this year’s Symposium on Principles of Programming Languages, a.k.a. POPL 2026, hosted by Jessica Foster. In this episode, we talk about: undergrad funding and participation, the behind the scenes of AV, choreographic programming, quantum languages, conference catering, and the joy of theory. And at one point, you’ll even hear us get kicked out the venue mid interview. Enjoy!

    43 min

  2. 22. 3.

    79: Peter Thiemann

    Peter is a professor at the University of Freiburg, and he was doing functional programming right when Haskell got started. So naturally we asked him about the early days of Haskell, and how from the start Peter pushed the envelope on what you could do with the type system and specifically with the type classes, from early web programming to program generation to session types. Come with us on a trip down memory lane!

    1 h 7 min

  3. 8. 3.

    78: Jamie Willis

    In this episode, we focus on a particular part of Haskell: teaching it. To help us, we are joined by Jamie Willis who is a Teaching Fellow at Imperial College London. The episode explores the benefits of live coding, and why Haskell is the best language for teaching programming.

    43 min

  4. 22. 2.

    77: Franz Thoma

    Franz Thoma is Principal Consultant at TNG Technology Consulting, and an organizer of MuniHac. Franz sees functional programming and Haskell as a tool for thinking about software, even if the project is not written in Haskell. We had a far-reaching conversation about the differences between functional and object-oriented programming and their languages, software architecture, and Haskell adoption in industry.

    58 min

  5. 25. 1.

    76: Jeffrey Young

    Welcome to the Haskell Interlude. Today, Matti and Mike talk to Jeffrey Young. Jeff has had a long history of working with Haskell and on ghc itself. We talk about what makes Haskell so compelling, the good and bad of highly optimized code and the beauty of well-modularized code, how to get into compiler development, and how to benefit from Domain-Driven Design. Jeff is currently on the job market - if you want to get in touch, email him at mailto:jmy6342@gmail.com.

    1 h 4 min

  6. 11. 1.

    75: Kathrin Stark

    We are joined by Kathrin Stark, a professor at Heriot-Watt University in Edinburgh. Kathrin works on program verification with proof assistants, so her focus is not exactly on Haskell, but on topics dear to Haskellers' hearts such as interactive theorem provers, writing correct programs, and the activities needed to produce them. We discuss many aspects of proofs and specifications, and the languages involved in the process, as well as verifying and producing provably correct neural networks.

    51 min

  7. 19. 12. 2025

    74: Lennart Augustsson

    This episode is a deep dive into the evolution of Haskell and functional programming with one of its pioneers, Lennart Augustson. It  reflects on decades of work in language design and compiler implementation. Lennart speaks about his early involvement in the creation of Haskell, shares thoughts on type systems, performance, and the balance between purity and practicality. The conversation ranges from personal history to big-picture views on the evolution of programming languages, with plenty of insight into what makes Haskell both powerful and challenging. A rare opportunity to hear from one of the foundational voices in the functional programming world.

    1 h 21 min

  8. 13. 11. 2025

    73: Jean-Philippe Bernardy

    In this Interlude, we’re joined by Jean-Philipe Bernardy, a Senior Lecturer at University of Gothenburg and Chalmers University of Technology. We discuss letting types be your guide, getting into AI to feed yourself, and never testing your programs.

    38 min
Zobrazit vše (81)

Upoutávka

Informace

This is the Haskell Interlude, where the five co-hosts (Wouter Swierstra, Andres Löh, Alejandro Serrano, Niki Vazou, and Joachim Breitner) chat with Haskell guests!

Informace

  • Autor
    Haskell Podcast
  • Aktivní
    2021 - 2026
  • Díly
    81
  • Hodnocení
    Nezávadné
  • Copyright
    © 2026 The Haskell Interlude
  • Web pořadu
    The Haskell Interlude

Také by se vám mohlo líbit