SE Radio 296: Type-Driven Development with Edwin Brady

58 min•10 juli 2017

Om avsnittet

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.

Fler avsnitt

Software Engineering Radio - the podcast for professional software developers med [email protected] (SE-Radio Team) finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.

SE Radio 296: Type-Driven Development with Edwin Brady

Om avsnittet

Fler avsnitt

SE Radio 745: Andrew Tridgell on Flight Control Software

SE Radio 744: Danilo Krummrich on Rust in the Linux Kernel

SE Radio 743: Sowjanya Pandruju on Managing Agent State

SE Radio 742: Tim Varelmann on Mathematical Optimization for Software Engineers

SE Radio 741: Sahil Walia on Schema Changes and Data Migrations

SE Radio 740: Raju Dandigam on Building Production AI Agents

SE Radio 739: Erin Catto on Video Game Physics Engines

SE Radio 738: Milan Milanovic on the Laws of Software Engineering

SE Radio 737: Owen McGirr on Software Accessibility

SE Radio 736: Sahil Walia on Apache Iceberg