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...
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/
26.01.2026 08:10 โ ๐ 6 ๐ 3 ๐ฌ 0 ๐ 1
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...
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/
12.01.2026 15:46 โ ๐ 2 ๐ 2 ๐ฌ 0 ๐ 0
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...
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/
19.12.2025 15:06 โ ๐ 13 ๐ 6 ๐ฌ 0 ๐ 0
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...
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/
14.11.2025 08:54 โ ๐ 2 ๐ 1 ๐ฌ 0 ๐ 0
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...
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/
30.10.2025 13:40 โ ๐ 5 ๐ 4 ๐ฌ 0 ๐ 0
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 ...
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/
17.10.2025 11:39 โ ๐ 6 ๐ 3 ๐ฌ 0 ๐ 0
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...
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/
16.09.2025 09:53 โ ๐ 19 ๐ 6 ๐ฌ 1 ๐ 0
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...
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/
12.08.2025 14:34 โ ๐ 4 ๐ 2 ๐ฌ 1 ๐ 0
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...
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/
09.06.2025 09:26 โ ๐ 7 ๐ 3 ๐ฌ 0 ๐ 0
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
๐ฅ Lambda Scientist
๐ก Functional programming
๐ก Programming languages
๐ก Cryptography
๐จ๐ฝโ๐ป Swift, Haskell & Agda
๐ Volt ๐ช๐บ policy shaper: digital affairs
๐ Utrecht ๐ณ๐ฑ๐ฉ๐ช๐ช๐บ
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Committed to a welcoming, vibrant & ๏ฌourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
official Bluesky account (check username๐)
Bugs, feature requests, feedback: support@bsky.app
