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

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

Filed in Episodes

by SE-Radio

on July 11, 2017

• 1 Comment

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.

Related Links

Idris

Type Driven Development

Idris Twitter

Edwin Brady

Edwin Brady Twitter

Coq

SE Radio Episode 249: Vaughn Vernon on Reactive Programming with the Actor Model

Episode 178: Akka With Jonas Boner (on actors)

Programming and reasoning with algebraic effects and dependent types

http://traffic.libsyn.com/seradio/SE-Radio-Episode-296-Type-Driven-Development-with-Edwin-Brady.mp3Podcast: Play in new window | DownloadSubscribe: iTunes | Android | RSS

https://www.se-radio.net/2017/07/se-radio-episode-296-type-driven-development-with-edwin-brady/