The Haskell Interlude
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!
The Haskell Interlude
38: Edwin Brady
•
Haskell Podcast
•
Season 1
•
Episode 38
Use Left/Right to seek, Home/End to jump to start or end. Hold shift to jump forward or backward.
Andres and Wouter interview Edwin Brady, most famous for his work on the Idris programming language. We talk about how he got interested in programming with dependent types, his thoughts on dependently typed programming in Haskell, and his vision for Idris.