Sign up to save your podcasts
Or
Share 38: Edwin Brady
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
38: Edwin Brady
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.
View all episodes
By Haskell Podcast
5
1313 ratings
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.
More shows like The Haskell Interlude
View all
In Our Time
5,457 Listeners
Software Engineering Radio
273 Listeners
Philosophy Bites
1,535 Listeners
Talk Python To Me
588 Listeners
Software Engineering Daily
625 Listeners
The Quanta Podcast
526 Listeners
CoRecursive: Coding Stories
188 Listeners
Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas
4,155 Listeners
Your Undivided Attention
1,566 Listeners
Last Week in AI
303 Listeners
Machine Learning Street Talk (MLST)
88 Listeners
Type Theory Forall
13 Listeners
The Array Cast
37 Listeners
The Joy of Why
496 Listeners
Oxide and Friends
59 Listeners