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

Music

Mid-Air! @mid_air