Sign up to save your podcasts
Or
Share SE-Radio Episode 296: Type Driven Development with Edwin Brady
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
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.
View all episodes
By [email protected] (SE-Radio Team)
4.4
270270 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.
More shows like Software Engineering Radio - the podcast for professional software developers
View all
The Changelog: Software Development, Open Source
288 Listeners
The Vergecast
3,724 Listeners
Software Engineering Daily
624 Listeners
Talk Python To Me
584 Listeners
Thoughtworks Technology Podcast
43 Listeners
Syntax - Tasty Web Development Treats
984 Listeners
Darknet Diaries
8,049 Listeners
CoRecursive: Coding Stories
188 Listeners
Practical AI
212 Listeners
The Stack Overflow Podcast
64 Listeners
The Real Python Podcast
139 Listeners
Last Week in AI
319 Listeners
Machine Learning Street Talk (MLST)
98 Listeners
Big Technology Podcast
507 Listeners
Latent Space: The AI Engineer Podcast
101 Listeners