53 min listen
SE-Radio Episode 296: Type Driven Development with Edwin Brady
FromSoftware Engineering Radio - the podcast for professional software developers
SE-Radio Episode 296: Type Driven Development with Edwin Brady
FromSoftware Engineering Radio - the podcast for professional software developers
ratings:
Length:
58 minutes
Released:
Jul 10, 2017
Format:
Podcast episode
Description
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.
Released:
Jul 10, 2017
Format:
Podcast episode
Titles in the series (100)
Episode 61: Internals of GCC: This show takes a behind-the-scenes look at compilers and their inner workings, using the Gnu compiler collection (GCC) as an example. Arno interview Morgan Deters, covering all steps from the parsing of different programming languages to machine indep... by Software Engineering Radio - the podcast for professional software developers