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.

Host: Andrey Salomatin flpvsk.com
Dark side: Michael Beschastnov

Guest: Edwin Brady twitter.com/edwinbrady

Links

• Type-Driven Development with Idris tinyurl.com/typedd
• Idris Tutorial docs.idris-lang.org/en/latest/tutor…#tutorial-index
• LightYear – Parser Combinator for Idris github.com/ziman/lightyear
• Quantities – Type-safe physical computations and unit conversions in Idris github.com/timjb/quantities

Music

Mid-Air! @mid_air