By Adam Gordon Bell - Software Developer
Published December 01, 2018 2:42pm
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 said dependent types are surely the future. This interview is to get us ready for the future.
Daniel P. Friedman is famous for his "Little" series o...