Bonus Episode: Edwin Brady on Dependent Types And Idris

An unabridged version of the interview with Edwin Brady, the creator of Idris. Talking about the language itself, the concept of Dependent Types and the future of Type Systems.

Code Podcast Forum: discuss.codepodcast.com/t/episode-5-t…pe-systems/22

Episode produced by: - Host: Andrey Salomatin twitter.com/filipovskii - Dark side: Michael Beschastnov

Guest: - Edwin Brady twitter.com/edwinbrady



Mid-Air! @mid_air