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

58:24
 
Share
 
Manage episode 182592095 series 215
By Discovered by Player FM and our community — copyright is owned by the publisher, not Player FM, and audio streamed directly from their servers.
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 […]

310 episodes available. A new episode about every 10 days averaging 59 mins duration .