I think I owe @edwinb an apology. I was deeply sceptical about the utility of his funky types in #Idris a few years ago, but having now listened to the interview he did with the #CoRecursive podcast, and also after exposure to #Rust's magnificent error messages, I'm now convinced. https://corecursive.com/006-type-driven-development-and-idris-with-edwin-brady/
=> More informations about this toot | View the thread | More toots from DrHyde@fosstodon.org
=> View edwinb@types.pl profile
=> View idris tag | View Corecursive tag | View rust tag This content has been proxied by September (3851b).Proxy Information
text/gemini