"A Little Taste of Dependent Types" by David Christiansen Published 2018-10-16 Download video MP4 360p Recommendations 42:43 "Propositions as Types" by Philip Wadler 48:05 David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On 46:09 Why Isn't Functional Programming the Norm? – Richard Feldman 26:20 A Sensible Introduction to Category Theory 46:36 Type-Driven Development in Idris — Edwin Brady 53:50 A Taste of Type Theory • Bartosz Milewski • YOW! 2019 22:13 All Rust string types explained 41:40 "Categories for the Working Hacker" by Philip Wadler 1:00:35 3 01 A Functional Programmer's Guide to Homotopy Type Theory 40:57 "Type-Driven API Design in Rust" by Will Crichton 20:08 Fast Inverse Square Root — A Quake III Algorithm 47:18 The Tragedy of systemd 10:08 Why should you learn Type Theory? 45:50 "The Mess We're In" by Joe Armstrong 41:31 Bidirectional Type Checking 18:19 Generics: The most intimidating TypeScript feature Similar videos 17:00 (seventh RacketCon): David Christiansen -- A Little Bit of Dependent Types 2:03:05 Dependent Types with David Christiansen – Functional Futures 1:01:05 Dependent Types - salvation or plague | Lambda Days 2021 21:39 Dependent Types: Through The Looking Glass 08:36 Using proofs in Idris, part 1 1:31:55 David Christiansen: Type-Directed Elaboration of Quasiquotations 40:56 "Idris: Practical Dependent Types with Practical Examples" by Brian McKenna 56:54 raichoo: Programming with dependent types in Idris 31:17 06 Introduction to Dependent Types 56:25 Dependent types for practical use 00:49 Agda (programming language) Top # 6 Facts 22:17 A Role for Dependent Types in Haskell More results