Episode 2: Edwin Brady on Idris

https://is1-ssl.mzstatic.com/image/thumb/Podcasts125/v4/df/66/20/df6620e4-6c3a-6aee-fa46-3d505ed1bf8c/mza_2574046439858805995.png/600x600bb.jpg

The Type Theory Podcast

6 episodes

3 weeks ago

We interview experts and researchers in type theory, from the perspectives of programming, mathematics, and philosophy.

Natural Sciences

Science

RSS

All content for The Type Theory Podcast is the property of The Type Theory Podcast and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

We interview experts and researchers in type theory, from the perspectives of programming, mathematics, and philosophy.

Natural Sciences

Science

Episode 2: Edwin Brady on Idris

The Type Theory Podcast

1 hour 32 minutes 50 seconds

11 years ago

Episode 2: Edwin Brady on Idris

In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin has been working on Idris, a functional programming language with dependent types. This episode is very much about programming: we discuss the language Idris, its history, its implementation strategies, and plans for the future.