SE-Radio Episode 296: Type Driven Development with Edwin Brady

Edwin Brady speaks to Matthew Farwell about Type Driven
Development and the Idris Programming language. The show covers:
what a type is; static vs dynamic types in programming languages;
dependent types; the Idris programming language; why Idris was
created. Type safe printf modelling state in Idris modelling
protocols in Idris modelling concurrency in Idris type driven
development and how it changes the development process.