The Haskell Interlude

Haskell Podcast

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!

  1. 14/09

    70: 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 take a stroll down memory lane, starting from Haskell's inception. We talked about the difference between research and Phil's work on impactful industrial projects and standards - specifically XML and the design of generics in Java, as well as Phll's teaching at the University of Edinburgh using Agda.. Phil is a fountain of great ideas and stories, and this conversation could have gone on for hours. As it is, we hope you enjoy the hour that we had as much as we did.

    1 h 2 min

  2. 25/08

    69: Jurriaan Hage

    Today’s guest is Jurriaan Hage. Jurriaan is a professor at Heriot-Watt University in Edinburgh who’s worked with and on Haskell for many years. He’s known for the Helium Haskell compiler, specifically designed for teaching, and he has plenty of other projects related to Haskell, including improvements to the type system, the generation of better error messages, or detection of plagiarism.

    53 min

  3. 12/08

    68: 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, how STM is Haskell’s best feature and how laziness can be a vice.

    55 min

  4. 7/07

    67: Alex McLean

    Mike and Andres speak to Alex McLean who created the TidalCycles system for electronic music - implemented in Haskell of course. We talk about how Alex got into Haskell coming from Perl, how types helped him think about the structure of music and patterns, the architecture and evolution of TidalCycles, about art, community and making space for new ideas, and lots of things in between.

    57 min

  5. 24/06

    66: Daniele Micciancio

    Niki and Mike talked to Daniele Micciancio who is a professor at UC San Diego. He's been using Haskell for 20 years, and works in lattice cryptography. We talked to him about how he got into Haskell, using Haskell for teaching theoretical computer science and of course for his research and the role type systems and comonads could play in the design of cryptographic algorithms. Along the way, he gave an accessible introduction to post-quantum cryptography which we really enjoyed. We hope you do, too.

    1 h 13 min

  6. 30/05

    65: 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 discuss his current work at Cogna on using AI to allow non-programmers to write apps using natural language. We delve deeper into the ethics of AI and consider the most likely AI apocalypse.

    1 h 1 min

  7. 23/04

    64: Sandy Maguire

    In this episode Mike Sperber and Niki Vazou talk with Sandy Maguire, lead compiler engineer at Manifold Valley. They talk about the benefits of using Haskell of course, about all the books Sandy has written, on effects and the problem with monads, on combinator libraries and programming with laws.

    49 min

  8. 17/03

    63: Farhad Mehta

    On this episode of the Haskell Interlude, Andres Löh and Mike Sperber are joined by Farhad Mehta, a professor at OST Rapperswil, and one of the organizers of ZuriHac. Fahrad tells us about formal methods, building tunnels, the importance of education, and the complicated relationship between academia and industry.

    58 min
Ver tudo (71)

Excerto

Sobre

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!

Informação

  • Autoria
    Haskell Podcast
  • Anos em atividade
    2021 - 2025
  • Episódios
    71
  • Classificação
    Para todos
  • Copyright
    © 2025 The Haskell Interlude
  • Site do programa
    The Haskell Interlude

Talvez também goste