SE-Radio Episode 296: Type Driven Development with Edwin Brady

Software Engineering Radio - the podcast for professional software developers
10/07/2017 58 min
SE-Radio Episode 296: Type Driven Development with Edwin Brady

Listen "SE-Radio Episode 296: Type Driven Development with Edwin Brady"

Descargar episodio Ver en sitio original

Episode Synopsis

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 episodes of the podcast Software Engineering Radio - the podcast for professional software developers

SE Radio 701: Max Guernsey, III and Luniel de Beer on Readiness in Software Engineering 30/12/2025
SE Radio 700: Mojtaba Sarooghi on Waiting Rooms for High-Traffic Events 23/12/2025
SE Radio 699: Benjamin Brial on Internal Dev Platforms 17/12/2025
SE Radio 698: Srujana Merugu on How to build an LLM App 09/12/2025
SE Radio 697: Philip Kiely on Multi-Model AI 03/12/2025
SE Radio 696: Flavia Saldanha on Data Engineering for AI 25/11/2025
SE Radio 695: Dave Thomas on Building eBooks Infrastructure 19/11/2025
SE Radio 694: Jennings Anderson and Amy Rose on Overture Maps 12/11/2025
SE Radio 693: Mark Williamson on AI-Assisted Debugging 06/11/2025
SE Radio 692: Sourabh Satish on Prompt Injection 28/10/2025
© 2003-2026 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA