Yes, for a language to be good in practice you need to look at what developers actually do and not how a perfectly rational developer would use the language.
Yes, for a language to be good in practice you need to look at what developers actually do and not how a perfectly rational developer would use the language.