The Haskell Interlude

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/

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.

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/

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/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. Link below:

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/

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/

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:

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/

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 @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/65/

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/

In this episode, Andres and Mike are joined by Farhad Mehta, a professor at OST Rapperswil and one of the organizers of ZuriHac. He tells us about formal methods, building tunnels, and the complicated relationship between academia and industry. haskell.foundation/podcast/63/

New episode of the Interlude is out! In this episode @wouterswierstra and @nikivazou talk with Conal Elliott (@conal). Conal discusses doing things just for the poetry, how most programs miss their purpose, and the simplest way to ask a question. haskell.foundation/podcast/62/

There's a new episode of the Interlude! This time we chat with Sam Lindley from PLDI at the University of Edinburgh. He tells us how difficult naming is, different kinds of effect systems and handlers, languages much purer than Haskell, and Modal logic. haskell.foundation/podcast/61/