Sveriges mest populära poddar
Software Engineering Radio - the podcast for professional software developers
UtbildningTeknologi

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

58 min•10 juli 2017

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

Visa alla avsnitt av Software Engineering Radio - the podcast for professional software developers
SE Radio 716: Martin Kleppmann Local-First Software
•55 min
SE Radio 715: Sahaj Garg on Designing for Ambiguity in Human Input
•48 min
SE Radio 714: Costa Alexoglou on Remote Pair Programming
•51 min
SE Radio 713: Héctor Ramón Jiménez on Building a GUI library in Rust
•59 min
SE Radio 712: Dan Lorenc on Sigstore
•39 min
SE Radio 711: Scott Hanselman on AI-Assisted Development Tools
•1 tim 2 min
SE Radio 710: Marc Brooker on Spec-Driven AI Dev
•1 tim 3 min
SE Radio 709: Bryan Cantrill on the Data Center Control Plane
•1 tim 5 min
SE Radio 708: Jens Gustedt on C in 2026
•59 min
SE Radio 707: Subhajit Paul on ERP Automation and AI
•1 tim

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.