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
1414 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
Freakonomics Radio
32,302 Listeners
99% Invisible
26,235 Listeners
The Quanta Podcast
544 Listeners
Alex & Sigges podcast
146 Listeners
Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas
4,189 Listeners
The Intelligence from The Economist
2,549 Listeners
All-In with Chamath, Jason, Sacks & Friedberg
10,264 Listeners
Tech Won't Save Us
577 Listeners
Dwarkesh Podcast
530 Listeners
Happy Path Programming
14 Listeners
The Rest Is History
15,880 Listeners
Software Unscripted
29 Listeners
Oxide and Friends
67 Listeners
Rust in Production
25 Listeners
The Rest Is Politics: US
2,354 Listeners