About the show

Hear all about functional programming in practice. We invite people working on hard industry problems to tell us how they are solving them, the tools they use, and what gets them up in the morning. Expect deep dives into Haskell, Nix, Rust, build systems, data engineering, AI, and more. We make it back to the surface too sometimes, to chat about engineering culture and the challenges of leadership in distributed teams.

Episodes

  • Linear types AMA with Richard Eisenberg, Krzysztof Gogolewski and Arnaud Spiwack

    March 31st, 2021  |  1 hr 16 mins

    Linear types are a new feature shipped with Haskells latest GHC compiler release 9.0. They allow to restrict a function to use an argument exactly once which opens all kinds of possibilities. Three core developers from the Haskell linear types team give an introduction to them and answer community questions in this episode.

  • Functional Programming Leaders with Doug Beardsley

    March 10th, 2021  |  48 mins 58 secs

    This episode's guest is Doug Beardsley, also known as mightybyte, director of engineering at Kadena, a blockchain company that uses Haskell in production. Doug is one of the few software engineering leaders who have used Haskell and advanced functional programming techniques in production systems for a long time at various companies. If you are interested in how he came into this position, as well as how he sees functional programming evolve and now positioned in the wider software industry, this episode is for you!

  • Binary verification with Trustix starring Adam Höse

    February 3rd, 2021  |  1 hr 3 mins

    Rok Garbas talks to Adam Höse the creator of Trustix a tool that automatically verifies the content of software binaries with implications on binary security, the software supply chain and reproducibility tracking.

  • The Haskell Language Server with Zubin Duggal

    January 13th, 2021  |  1 hr 11 mins

    In this episode, Roman Cheplyaka talks to Zubin Duggal who contributed to HLS for years, personally, through various Summer of Code projects and recently as a Tweag Open Source Fellow. He explains how HLS emerged from various predecessors. the role the Language Server Protocol played in reducing the implementation efforts and then dives deep into the inner workings of this tool.

  • A content addressable store for Nix with Théophane Hufschmitt

    December 1st, 2020  |  36 mins 42 secs

    Rok Garbas talks with Théophane Hufschmitt about the upcoming content addressable store for Nix.

  • Subsumption and impredicative types with Richard Eisenberg

    November 10th, 2020  |  43 mins 8 secs
    ghc, haskell

    Roman Cheplyaka talks to Richard Eisenberg about the recent changes in GHC's type checker.

  • The new random with Leonhard Markert and Dominic Steinitz

    October 19th, 2020  |  55 mins 24 secs

    Roman Cheplyaka talks to Leonhard Markert and Dominic Steinitz about the new version of the Haskell 'random' package.