Skip to content
Sign in
Artwork for Software Engineering Radio - the podcast for professional software developers
Software Engineering Radio - the podcast for professional software developers · Jul 10, 2017 · 58 min

SE Radio 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.

0:00-58:25
Play in

transcript

No transcript — this publisher did not publish one.

show notes

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.

more episodes

All episodes