@HaskelInterlude profile picture
The Haskell Interlude @HaskelInterlude

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

Joined July 2021
  • Tweets 72
  • Following 11
  • Followers 655
1 Photos and videos
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/8…
2
2
154
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. haskell.foundation/podcast/8…
1
4
164
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/8…
1
2
106
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! haskell.foundation/podcast/7…
2
7
334
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/7…
5
25
1,591
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/7…
2
6
370
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.
1
4
16
905
haskell.foundation/podcast/7…
1
133
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. haskell.foundation/podcast/7…
1
2
116
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. haskell.foundation/podcast/7…
2
12
762
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:
3
1
16
1,038
haskell.foundation/podcast/7…
2
143
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. haskell.foundation/podcast/7…
5
10
751
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/7…
1
2
262
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:
1
8
68
3,274
haskell.foundation/podcast/7…
1
12
291
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. haskell.foundation/podcast/6…
4
20
800
In this episode we speak to Alex McLean who created the TidalCycles system for electronic music - implemented in Haskell of course. haskell.foundation/podcast/6…
3
14
1,303
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/6…
4
17
923
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. haskell.foundation/podcast/6…
6
20
1,215
Load more