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

Software Engineering Radio - The Podcast for Professional Software Developers

• Episode: SE-Radio Episode 296: Type Driven Development with Edwin Brady
• Website: Software Engineering Radio - The Podcast for Professional Software Developers
• Feed URL: http://feeds.feedburner.com/se-radio
• Duration: 00:58:25
• Published: 2017-07-10 22:13

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.