• #38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen

  • May 16 2024
  • Length: 1 hr and 56 mins
  • Podcast

#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen

Listen for free

View show details

  • Summary

  • In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer.

    He has also worked as the Executive Director of the Haskell Foundation, at Galois and did his PhD developing a bunch of cool stuff for Idris.

    David is a super upbeat person and I feel that we could spend hundreds of hours talking about Functional Programming Writing and Dependent Types, and we still wouldn’t run out of topics!

    If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall
    Show more Show less
Show more Show less
activate_Holiday_promo_in_buybox_DT_T2

What listeners say about #38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen

Average customer ratings

Reviews - Please select the tabs below to change the source of reviews.

Audible.com reviews

Amazon reviews
No Reviews are Available