Idris, and later your papers, made me appreciate how dependent types systems' can inspire correct code. Although I haven't made the leap to using it in production, I've sure played with it a lot and it influences how I think. Thank you for making these concepts more accessible.
-
-
-
That is nice to hear, thank you :). Influencing how people think is the main goal, though making a tool that people are happy to use in production is desirable too!
- 5 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.