Instead of "do you want dependent types" try asking "do you want the compiler to rule out this entire common class bugs" it works better and the answer is often yes
Conversation
People want dependent types with good UX and good automation
5
20
Replying to
Yeah, I like to talk about types as kind of 'affordances for programs', at least when talking to designers about what I do!
I also like talking about types as a kind of like a ‘design language’ that can be understood and validated by computers in a user-friendly way, and kept in sync with their programs. We're empowering users by expanding the range of things they can express in that design language.
1
3
For more about ‘affordances‘: en.wikipedia.org/wiki/Affordanc – I first learned about them in Don Norman's book “The Design of Everyday Things”.
1
1
Show replies