Haskell Interlude
LightNews LightNews
haskellinterlude.bsky.social
Haskell Interlude
@haskellinterlude.bsky.social
70 followers 13 following 22 posts
The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.
Posts Replies Media Videos
haskellinterlude.bsky.social
We're joined by Michael Hanus, a professor at CAU and creator of Curry, a functional-logic language that resembles Haskell. We talked about what functional logic programming is, how it improves over plain FP, and the challenges of semantics and implementation.

haskell.foundation/podcast/86/
Michael Hanus
In this episode, we sat down with Michael Hanus. Michael is a professor at the University of Kiel and is one of the founders of functional logic programming, the combination of logic and functional pr...
haskell.foundation
September 15, 2026 at 4:11 PM
haskellinterlude.bsky.social
In today’s episode, we’re joined by Brent Yorgey, Associate Professor of CS at Hendrix College and the creator of the Diagrams vector graphics library and Swarm, a 2D programming and resource gathering game. We talk about teaching, DSLs, and competitive coding.

haskell.foundation/podcast/85/
Brent Yorgey
In today's episode, we're joined by Brent Yorgey, Associate Professor of Computer Science at Hendrix College and the creator, among other things, of the Diagrams vector graphics library and Swarm, a 2...
haskell.foundation
August 26, 2026 at 6:29 PM
haskellinterlude.bsky.social
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!
haskell.foundation/podcast/84/
Sylvain Henry
In this 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 se...
haskell.foundation
June 29, 2026 at 9:23 AM
Reposted by Haskell Interlude
haskellinterlude.bsky.social
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.
haskell.foundation/podcast/83/
POPL 2026 - Part 2
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.
haskell.foundation
June 15, 2026 at 6:20 AM
Reposted by Haskell Interlude
bobkonf.de
In case you missed it: video of @sippsack.bsky.social and Till Rauch's #BOBkonf2026 talk "Funktionale Programmierung für vielbeschäftigte Javaentwickler" is now up on our website!

bobkonf.de/2026/sippach...
June 15, 2026 at 11:01 AM
haskellinterlude.bsky.social
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.
haskell.foundation/podcast/83/
POPL 2026 - Part 2
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.
haskell.foundation
June 15, 2026 at 6:20 AM
haskellinterlude.bsky.social
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.
haskell.foundation/podcast/82/
Fraser Tweedale
We talked to Fraser Tweedale. Fraser works at Red Hat, and is on the Haskell Security Response Team. We talked about security in the context of Haskell, both technical and organizational issues, and a...
haskell.foundation
May 19, 2026 at 12:52 PM
haskellinterlude.bsky.social
We sat down with Torsten Grust who is a professor of DB systems at the University of 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.
haskell.foundation/podcast/81/
Torsten Grust
Mike and Andres sat down with Torsten Grust, who is a professor of DB systems at the University of Tübingen. Even though Torsten loves SQL, he's used functional programming and Haskell to inform his w...
haskell.foundation
April 27, 2026 at 7:53 AM
haskellinterlude.bsky.social
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.
haskell.foundation/podcast/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.
haskell.foundation
April 13, 2026 at 6:24 AM
Reposted by Haskell Interlude
haskellinterlude.bsky.social
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.
haskell.foundation/podcast/79/
Peter Thiemann
In this 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. So naturally we asked him...
haskell.foundation
March 24, 2026 at 7:24 AM
haskellinterlude.bsky.social
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.
haskell.foundation/podcast/79/
Peter Thiemann
In this 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. So naturally we asked him...
haskell.foundation
March 24, 2026 at 7:24 AM
haskellinterlude.bsky.social
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.
haskell.foundation/podcast/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...
haskell.foundation
March 9, 2026 at 7:27 AM
haskellinterlude.bsky.social
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.
haskell.foundation/podcast/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 ...
haskell.foundation
February 23, 2026 at 12:58 PM
haskellinterlude.bsky.social
On today's Haskell Interlude episode, we talk to Jeffrey Young has has a long history of working with Haskell and on ghc. We talk about what makes Haskell so compelling, highly optimized and well-modularized code, and how to benefit from Domain-Driven Design.
haskell.foundation/podcast/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, th...
haskell.foundation
January 26, 2026 at 8:10 AM
haskellinterlude.bsky.social
In today's episode, we are joined by Kathrin Stark. Kathrin works on program verification, so her focus is not exactly on Haskell, but on topics dear to Haskellers’ hearts such as theorem provers, writing correct programs, and the activities needed to produce them.
haskell.foundation/podcast/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 d...
haskell.foundation
January 12, 2026 at 3:46 PM
haskellinterlude.bsky.social
The new episode of the Haskell Interlude with Lennart Augustsson was done at @zurihac.bsky.social jointly with #TypeTheoryForAll. It is a deep dive into the evolution of Haskell and functional programming with one of its pioneers.
haskell.foundation/podcast/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 impleme...
haskell.foundation
December 19, 2025 at 3:06 PM
haskellinterlude.bsky.social
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.
haskell.foundation/podcast/73/
Jean-Philipe 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 t...
haskell.foundation
November 14, 2025 at 8:54 AM
haskellinterlude.bsky.social
In the new Haskell Interlude, we talk to Manuel Chakravarty - his work on the ghc backend such as data-parallel Haskell and the FFI and how that work segued into type system design. We also discussed Manuel’s perspective on Haskell from the design of Swift.
haskell.foundation/podcast/72/
Manuel Chakravarty
In this episode, we talk to Manuel Chakravarty - specifically, his work on the ghc backend such as data-parallel Haskell and the FFI and how that work segued into type system design. We also discussed...
haskell.foundation
October 30, 2025 at 1:40 PM
haskellinterlude.bsky.social
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!
haskell.foundation/podcast/71/
Stefan Wehr
Stefan Wehr is a professor at the Offenburg University of Applied Sciences. Before becoming a professor, Stefan worked in industry on a large Haskell codebase - specifically one that's not a compiler ...
haskell.foundation
October 17, 2025 at 11:39 AM
haskellinterlude.bsky.social
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!
haskell.foundation/podcast/70/
Phil Wadler
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. We tak...
haskell.foundation
September 16, 2025 at 9:53 AM
haskellinterlude.bsky.social
Today’s guest at the Haskell Interlude is Jurriaan Hage. Jurriaan is a professor at Heriot-Watt University in Edinburgh who’s worked with and on Haskell for many years.
haskell.foundation/podcast/69/
Jurriaan Hage
Today's guest is Jurriaan Hage. Jurriaan is a professor at Heriot-Watt University in Edinburgh who's worked with and on Haskell for many years. He's known for the Helium Haskell compiler, specifically...
haskell.foundation
August 25, 2025 at 5:26 PM
haskellinterlude.bsky.social
In our new episode, we’re joined by Michael Snoyman, author of Yesod, Conduit, Stackage and many other popular Haskell libraries.
haskell.foundation/podcast/68/
Michael Snoyman
In this episode, we're joined by Michael Snoyman, author of Yesod, Conduit, Stackage and many other popular Haskell libraries. We discuss newcomer friendliness, being a Rustacean vs a Haskellasaur, ho...
haskell.foundation
August 12, 2025 at 2:34 PM
haskellinterlude.bsky.social
In this episode we speak to Alex McLean who created the TidalCycles system for electronic music - implemented in Haskell of course.
haskell.foundation/podcast/67/
Alex McLean
Mike and Andres speak to Alex McLean who created the TidalCycles system for electronic music - implemented in Haskell of course. We talk about how Alex got into Haskell coming from Perl, how types hel...
haskell.foundation
July 8, 2025 at 7:44 AM
haskellinterlude.bsky.social
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.
haskell.foundation/podcast/66/
Daniele Micciancio
Niki and Mike talked to Daniele Micciancio who is a professor at UC San Diego. He's been using Haskell for 20 years, and works in lattice cryptography. We talked to him about how he got into Haskell, ...
haskell.foundation
June 24, 2025 at 3:37 PM
haskellinterlude.bsky.social
In this episode we learn about @andygordon.bsky.social'’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.

haskell.foundation/podcast/65/
Andy Gordon
Andy Gordon from Cogna is interviewed by Sam and Matti. We learn about Andy's influential work including the origins of the bind symbol in haskell, and the introduction of lambdas in Excel. We go onto...
haskell.foundation
June 9, 2025 at 9:26 AM