Haskell Interlude

@haskellinterlude.bsky.social

The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.

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

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

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...

BOB - Funktionale Programmierung für vielbeschäftigte Javaentwickler

BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.

bobkonf.de

BOB Konferenz@bobkonf.de · 7mo ago

Track B at #BOBkonf2026 continues after lunch with Falk Sippach & Till Rauch's talk "Funktionale Programmierung für vielbeschäftigte Javaentwickler". They show us which functional principles work in Java 8 and how to integrate them for better work- and control flow. More: bobkonf.de/2026/sippach...

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

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

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

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

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

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

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

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

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