The Haskell Interlude

This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol

[Matti Palli @tritlo]

A new @HaskelInterlude episode is out, this time with @kmett!

We talked about design principles for Haskell libraries, category theory, cache-oblivious algorithms and his recent work involving Haskell, C++, and FPGAs.

Tune in!

https://t.co/KYXbv8SO8e

[The Haskell Interlude @HaskelInterlude]

In today’s episode of the Haskell Interlude, we are joined by Sylvain Henry, one of the all-time top contributors to GHC. He tells us about his work on GHC, the bignum library, modularization, and the secret to becoming a top contributor!
https://t.co/hogL9Bk8ER

[The Haskell Interlude @HaskelInterlude]

Today's Interlude is the second part of a miniseries on this year’s POPL.
We talk about: symbolic execution monads, what a lazy linear core in Haskell might have in common with Rust, hyperfunctions, the hallway track, and how to deal with rejection.
https://t.co/MOrbcLCnde

[The Haskell Interlude @HaskelInterlude]

In this Haskell Interlude, we talked to Fraser Tweedale who is on the Haskell Security Response Team. Fraser’s work is both important and not well-known in the Haskell ecosystem, so it was high time for him to come on the show.
https://t.co/5SSejyGOg2

[The Haskell Interlude @HaskelInterlude]

We sat down with Torsten Grust who is a professor of DB systems at U Tübingen. We talked about the best way to program databases, how to bridge the gap between regular programming languages and databases, and compiling just about everything to SQL.
https://t.co/t9wb4GyBw0

[The Haskell Interlude @HaskelInterlude]

In this episode from POPL 2026, we talk about: undergrad funding and participation, the behind the scenes of AV, choreographic programming, quantum languages, conference catering, and the joy of theory.
https://t.co/1tMKMtlA3Z

[The Haskell Interlude @HaskelInterlude]

In the new Interlude, we’re joined by Peter Thiemann. Peter is a professor at the University of Freiburg, and he was doing functional programming right when Haskell got started. Come with us on a trip down memory lane!
https://t.co/w1LeDaH6D8

[The Haskell Interlude @HaskelInterlude]

In the new Interlude, we focus on teaching. 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.
https://t.co/ukKGTSGs3i

[The Haskell Interlude @HaskelInterlude]

New Haskell Interlude!
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.
https://t.co/qfs3XCqgkZ

[The Haskell Interlude @HaskelInterlude]

https://t.co/CzVg5gSPSh

[The Haskell Interlude @HaskelInterlude]

In this episode, we are joined by Jeffrey Young. Jeff has had a long history of working with Haskell and on GHC itself. We discuss what makes Haskell so compelling, the good and bad of highly optimized code, how to get into compiler dev, and the benefits of Domain-Driven Design.

[The Haskell Interlude @HaskelInterlude]

In today's episode, we are joined by Kathrin Stark. Kathrin works on program verification with proof assistants, topics dear to Haskellers’ hearts such as interactive theorem provers, writing correct programs, and the activities needed to produce them.

https://t.co/uEZhq2IsvN

[The Haskell Interlude @HaskelInterlude]

The new episode of the Haskell Interlude with Lennart Augustsson was done at @ZuriHac jointly with @ttforall. It is a deep dive into the evolution of Haskell and functional programming with one of its pioneers.

https://t.co/xe8TDrcUMF

[The Haskell Interlude @HaskelInterlude]

https://t.co/qrfM4NGJmh

[The Haskell Interlude @HaskelInterlude]

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.

Link below:

[The Haskell Interlude @HaskelInterlude]

In this episode, we talk to Manuel Chakravarty.

He'll tell us of his work on the ghc backend such as data-parallel Haskell and the FFI, and how that segued into type systems. We also discussed hiss perspective on Haskell from the language design of Swift.
https://t.co/HuFSSzzOuf

[The Haskell Interlude @HaskelInterlude]

We sat down with Stefan Wehr, professor at the Offenburg University of Applied Sciences, who has extensive experience with Haskell both in academia and industrial application.

Enjoy the episode!
https://t.co/kSDb5lrNUc

[The Haskell Interlude @HaskelInterlude]

https://t.co/OaTD27wYAb

[The Haskell Interlude @HaskelInterlude]

In this episode, we sat down with Phil Wadler, one of the most influential folks in the Haskell community, functional programming, and programming languages, responsible for type classes, monads, and much more!

Link below:

[The Haskell Interlude @HaskelInterlude]

Today’s guest is Jurriaan Hage. He is a professor at Heriot-Watt University who’s worked with and on Haskell for many years. He’s known for the Helium Haskell compiler, type system improvements, better error messages, and detection of plagiarism.

https://t.co/Tuwie9zKEE