Episode
Tech Talk: The Little Typer With Daniel Friedman and David Thrane Christiansen
CoRecursive: Coding Stories · Dec 1, 2018 · 1 h 07 min
Tech Talks are in-depth technical discussions. When it comes to type systems "I am, so far, only in the dependent types camp" - Daniel P. Friedman You can write more correct software and even rigorous mathematical proofs. Prepare for some mind stretching. Previous guests like Edwin Brady and Stephanie Weirich have discussed some of the exciting things a dependent type system can do Miles Sabin…