The Haskell Interlude

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

[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

[The Haskell Interlude @HaskelInterlude]

In this episode we speak to Alex McLean who created the TidalCycles system for electronic music - implemented in Haskell of course.

https://t.co/zf3XtwiFwX

[The Haskell Interlude @HaskelInterlude]

In this episode, we learn from Daniele Micciancio about teaching theoretical computer science with Haskell and of course Daniele's field of research - cryptographic algorithms.

https://t.co/vww0fEIAQO

[The Haskell Interlude @HaskelInterlude]

In this episode we learn about @AndrewDGordon's work including the origins of (>>=), introducing lambdas in Excel, and delve into his current work at Cogna using AI to allow non-programmers to write apps using natural language.

https://t.co/7TswFGfg2w