Edwin Brady

SE Radio 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.

Show Notes

Related Links

Join the discussion
1 comment
  • 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.

More from this show