bookmark_border

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

Software Engineering Radio,

Originally posted on Software Engineering Radio

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 […]

architectureconcurrencytestingarchitectureembeddedembeddedsoascripting

About the Podcast


Software Engineering Radio
Software Engineering Radio

Software Engineering Radio is a podcast targeted at the professional software developer. The goal is to be a lasting educational resource, not a newscast. Three to four times per month, we publish a new episode talking to experts from the software engineering world about the full range of topics that matter to professional developers.