For the new Haskell Interlude, we sat down with Edward Kmett. Ed is a legend in the Haskell community. We talk about design principles for Haskell libraries, category theory, cache-oblivious algorithms and his current work involving Haskell, C++, and FPGAs. haskell.foundation/podcast/87/
Haskell Interlude
Haskell Interlude
@haskellinterlude.bsky.social
The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.
75 followers13 following23 posts
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/
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/
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/
Haskell Interlude reposted
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/
Haskell Interlude reposted
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...
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/
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/
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/
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
Haskell Interlude reposted
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
You are up to date.