Jul 10, 2017 58 min

SE Radio 296: Type-Driven Development with Edwin Brady

from Software Engineering Radio - the podcast for professional software developers

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.

Episode details come from the podcast's RSS feed.

Embed this episode

Attribution link and audio player

Ready to play

SE Radio 296: Type-Driven Development with Edwin Brady

0:00 58:25

No transcript yet.

Requests help us decide what to transcribe next.

Share this episode

Similar podcasts

French Your Way Jessica: Native French teacher founder of French Your Way Boost your French listening skills and test your comprehension with this one of a kind series of podcasts. Get the chance to listen to a real conversation between native speakers talking at normal speed AND customise your learning experience through carefully designed sets of questions (2 levels of difficulty) available for download at www.frenchvoicespodcast.com. All interviews also come with the transcript. French teacher Jessica interviews native speakers of French from around the world who share a bit of their life and passion. Where else would you meet in one same place a French yoga teacher based in Melbourne, a soap manufacturer from Provence, or a couple cycling around the world?

Frequently asked questions

How long is this episode of Software Engineering Radio - the podcast for professional software developers?

This episode is 58 minutes long.

When was this Software Engineering Radio - the podcast for professional software developers episode published?

This episode was published on July 10, 2017.

Can I download this Software Engineering Radio - the podcast for professional software developers episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.