Type Theory Forall #38: Haskell, Lean, Idris, and the Art of Writing (podcast) (www.typetheoryforall.com)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 17 May 2024 20:05
https://programming.dev/post/14224845

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!

#programming_languages