Published Sep 3, 2019

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

Discover the powerful intersection of type-driven development and programming precision with Edwin Brady, as he delves into the revolutionary Idris programming language and its use of dependent types to enhance software reliability and precision.

Episode Highlights

Topics covered

Episode Highlights

Related Episodes

Episode 28: Type Systems
Answers 383 questions
Episode 140: Newspeak and Pluggable Types with Gilad Bracha
Answers 383 questions
SE Radio 585: Adam Frank on Continuous Delivery vs Continuous Deployment
Answers 383 questions
SE Radio 628: Hans Dockter on Developer Productivity
Answers 383 questions
SE-Radio Episode 348 Riccardo Terrell on Concurrency
Answers 383 questions
Episode 5: Model-Driven Software Development Pt. 1
Answers 383 questions
Episode 86: Interview Dave Thomas
Answers 383 questions
SE-Radio-Episode-253-Fred-George-on-Developer-Anarchy
Answers 383 questions
SE-Radio Episode 313: Conor Delanbanque on Hiring and Retaining DevOps
Answers 383 questions
SE Radio 594: Sean Moriarity on Deep Learning with Elixir and Axon
Answers 383 questions
SE-Radio Episode 288: DevSecOps
Answers 383 questions
Episode-226-Eric-Evans-on-Domain-Driven-Design-at-10-Years
Answers 383 questions
SE Radio 564: Paul Hammant on Trunk-Based Development
Answers 383 questions
SE-Radio Episode 237: Software Engineering Radio: Go Behind the Scenes and Meet the Team
Answers 383 questions
SE-Radio Episode 242: Dave Thomas on Innovating Legacy Systems
Answers 383 questions

Dexa/Software Engineering Radio - the podcast for professional software developers

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

Topics covered

Popular Clips

Software Development Insights

Understanding Dependent Types

Idris Language Insights

Type Systems Explained

Typing in Programming

Type Driven Development

Functional Programming Insights

Introduction to Software Engineering

Message Passing Concurrency

State Management Insights

Dependent Types Explained

Discovering Idris

Dependent Types Discussion

Community Engagement

Episode Highlights

Idris Programming Language

Dependent Types

Type Driven Development

Related Episodes

Episode 28: Type Systems

Episode 140: Newspeak and Pluggable Types with Gilad Bracha

SE Radio 585: Adam Frank on Continuous Delivery vs Continuous Deployment

SE Radio 628: Hans Dockter on Developer Productivity

SE-Radio Episode 348 Riccardo Terrell on Concurrency

Episode 5: Model-Driven Software Development Pt. 1

Episode 86: Interview Dave Thomas

SE-Radio-Episode-253-Fred-George-on-Developer-Anarchy

SE-Radio Episode 313: Conor Delanbanque on Hiring and Retaining DevOps

SE Radio 594: Sean Moriarity on Deep Learning with Elixir and Axon

SE-Radio Episode 288: DevSecOps

Episode-226-Eric-Evans-on-Domain-Driven-Design-at-10-Years

SE Radio 564: Paul Hammant on Trunk-Based Development

SE-Radio Episode 237: Software Engineering Radio: Go Behind the Scenes and Meet the Team

SE-Radio Episode 242: Dave Thomas on Innovating Legacy Systems

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

Topics covered

Popular Clips

Episode Highlights

Idris Programming LanguageEdwin Brady explores the distinctive features of the Idris programming language, focusing on type-driven development and its practical applications. He shares insights into the language's creation and its impact on enhancing programming reliability.

Idris Programming Language

Dependent TypesEdwin Brady explores the concept of dependent types, highlighting their potential to enhance programming precision and reliability. He discusses their integration challenges and the role of the Idris language in advancing these ideas.

Dependent Types

Type Driven DevelopmentEdwin Brady, a computer science lecturer, discusses Type Driven Development (TDD) and the Idris programming language. He explores how types serve as a blueprint for software, guiding development and enhancing reliability.

Type Driven Development

Related Episodes