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. ٢٥ يناير

    76: Jeffrey Young

    Welcome to the Haskell Interlude. Today, Matti and Mike talk to Jeffrey Young. Jeff has had a long history of working with Haskell and on ghc itself. We talk about what makes Haskell so compelling, the good and bad of highly optimized code and the beauty of well-modularized code, how to get into compiler development, and how to benefit from Domain-Driven Design. Jeff is currently on the job market - if you want to get in touch, email him at mailto:jmy6342@gmail.com.

    ١ س ٤ د

  2. ١١ يناير

    75: Kathrin Stark

    We are joined by Kathrin Stark, a professor at Heriot-Watt University in Edinburgh. Kathrin works on program verification with proof assistants, so her focus is not exactly on Haskell, but on topics dear to Haskellers' hearts such as interactive theorem provers, writing correct programs, and the activities needed to produce them. We discuss many aspects of proofs and specifications, and the languages involved in the process, as well as verifying and producing provably correct neural networks.

    ٥١ من الدقائق

  3. ١٩‏/١٢‏/٢٠٢٥

    74: Lennart Augustsson

    This episode is a deep dive into the evolution of Haskell and functional programming with one of its pioneers, Lennart Augustson. It  reflects on decades of work in language design and compiler implementation. Lennart speaks about his early involvement in the creation of Haskell, shares thoughts on type systems, performance, and the balance between purity and practicality. The conversation ranges from personal history to big-picture views on the evolution of programming languages, with plenty of insight into what makes Haskell both powerful and challenging. A rare opportunity to hear from one of the foundational voices in the functional programming world.

    ١ س ٢١ د

  4. ١٣‏/١١‏/٢٠٢٥

    73: Jean-Philippe Bernardy

    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.

    ٣٨ من الدقائق

  5. ٣٠‏/١٠‏/٢٠٢٥

    72: Manuel Chakravarty

    In this episode, we talk to Manuel Chakravarty - specifically, his work on the ghc backend such as data-parallel Haskell and the FFI  and how that work segued into type system design. We also discussed Manuel's perspective on Haskell from the language design of Swift.

    ٥٧ من الدقائق

  6. ١٦‏/١٠‏/٢٠٢٥

    71: Stefan Wehr

    Stefan Wehr is a professor at the Offenburg University of Applied Sciences. Before becoming a professor, Stefan worked in industry on a large Haskell codebase - specifically one that's not a compiler and not a blockchain. So of course we talked about using Haskell in large projects, software architecture, modularity, type classes and data modeling and the suppression of sums outside of functional programming, and also about teaching Haskell at his current job.

    ٥٠ من الدقائق

  7. ١٤‏/٠٩‏/٢٠٢٥

    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.

    ١ س ٢ د

  8. ٢٥‏/٠٨‏/٢٠٢٥

    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.

    ٥٣ من الدقائق
مشاهدة الكل (٧٧)

مقطع ترويجي

التقييمات والمراجعات

٥
من ٥
‫١٤ من التقييمات‬

حول

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!

المعلومات

  • صناع العمل
    Haskell Podcast
  • سنوات النشاط
    ٢٠٢١ - ٢٠٢٦
  • الحلقات
    ٧٧
  • التقييم
    ملائم
  • حقوق النشر
    © 2026 The Haskell Interlude
  • موقع البرنامج على الويب
    The Haskell Interlude

قد يعجبك أيضًا