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
Yeah, I like to talk about types as kind of 'affordances for programs', at least when talking to designers about what I do!
1
2
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.
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
I think it's a good touchpoint to help designers to start thinking about their programs as objects that can be designed (and then at a meta-level, the programming languages themselves). Not sure how good it is for programmers though. 😅
1