CoRecursive: Coding Stories
By Adam Gordon Bell - Software Developer
Tech Talk: The Little Typer With Daniel Friedman and David Thrane Christiansen
Direct episode link (https://chtbl.com)
💬 Share episode
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...
Response: 20 (Success), text/gemini
| Original URL | gemini://rocketcaster.xyz/episode/301883160 |
|---|---|
| Status Code | 20 (Success) |
| Content-Type | text/gemini; charset=utf-8 |