Ancestors

Toot

Written by David Cantrell 🏏 on 2025-01-10 at 11:59

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 | More toots from DrHyde@fosstodon.org

Descendants