
Sign up to save your podcasts
Or
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.
4.4
269269 ratings
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.
243 Listeners
284 Listeners
153 Listeners
41 Listeners
583 Listeners
624 Listeners
282 Listeners
141 Listeners
986 Listeners
190 Listeners
184 Listeners
63 Listeners
140 Listeners
58 Listeners
62 Listeners