SE-Radio Episode 296: Type Driven Development with Edwin Brady
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
Podcast: Play in new window | Download
Subscribe: Apple Podcasts | RSS
SE Radio Alerts
Very interesting talk, but it seems like it’s objects and still raises the question of the underlying type implementations. I mean 100 Centimeters needs to have a backing type.