The Haskell Interlude

71 posts

The Haskell Interlude banner
The Haskell Interlude

The Haskell Interlude

@HaskelInterlude

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

Katılım Temmuz 2021
11 Takip Edilen653 Takipçiler
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
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/81/
English
0
1
4
139
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
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
English
0
1
2
90
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
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/79/
English
0
2
7
305
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
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/
English
0
5
25
1.6K
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
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/
English
0
2
6
365
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
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.
English
1
4
16
897
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
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/75/
English
0
1
2
111
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
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:
English
3
1
16
1K
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
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/72/
English
0
5
10
745
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
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/
English
0
1
2
260
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
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:
English
1
8
68
3.3K
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
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/69/
English
0
4
20
797
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
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/
English
0
4
17
920
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
In this episode we talk to Sandy Maguire, lead compiler engineer at Manifold Valley. They talk about the benefits of using Haskell, all the books Sandy has written, on effects and the problem with monads, on combinator libraries and programming with laws. haskell.foundation/podcast/64/
English
0
3
18
419