EPISODE · 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 metadata supplied by the publisher feed · Published Jul 10, 2017

Embed this episode

Attribution link and audio player

NOW PLAYING

SE Radio 296: Type-Driven Development with Edwin Brady

0:00 58:25

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

No similar podcasts found.

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.

URL copied to clipboard!