This is the Haskell Interlude, where the five co-hosts (Wouter Swierstra, Andres Löh, Alejandro Serrano, Niki Vazou, and Joachim Breitner) chat with Haskell gue...
Sam Lindley is a Reader in Programming Languages Design and Implementation at the University of Edinburgh. In this episode, he tells us how difficult naming is, the different kinds of effect systems and handlers, languages *much* purer than Haskell, and Modal logic.
--------
57:38
60: Tom Ellis
Tom Ellis works at Groq, using Haskell to compile AI models to specialized hardware. In this episode, we talk about stability of both GHC and Haskell libraries, effects, and strictness, and the premise of functional programming: make invalid states and invalid *laziness* unrepresentable!
--------
48:52
Episode 59: Harry Goldstein
Sam and Wouter interview Harry Goldstein, a researcher in property-based testing who works in PL, SE, and HCI. In this episode, we reflect on random generators, the find-a-friend model, interdisciplinary research, and how to have impact beyond your own research community.
--------
42:46
58: ICFP 2024
In this episode, Matti and Sam traveled to the International Conference on Functional Programming (ICFP 2024) in Milan, Italy, and recorded snippets with various participants, including keynote speakers, Haskell legends, and organizers.
--------
33:35
57: Gabriele Keller
Gabriele Keller, professor at Utrecht University, is interviewed by Andres and Joachim. We follow her journey through the world as well as programming languages, learn why Haskell is the best environment for embedding languages and how the desire to implement parallel programming sparked the development of type families in Haskell and that teaching functional programming works better with graphics.
This is the Haskell Interlude, where the five co-hosts (Wouter Swierstra, Andres Löh, Alejandro Serrano, Niki Vazou, and Joachim Breitner) chat with Haskell guests!