11 ms·
Your problem isn't with expressive type systems, it's with languages whose type systems are not sufficiently expressive, though. Well-named variables are inter
by hdevalence 13y ago
Your problem isn't with expressive type systems, it's with languages whose type systems are not sufficiently expressive, though.
Well-named variables are interpreted and checked by the programmer; well-expressed type constraints are interpreted and checked by the compiler. Guess which one makes fewer mistakes?
- eloff 13y agoYes, I'm happy to offload as much as possible to the compiler as long as it doesn't involve hundreds of lines of unnecessary classes and interfaces. That's just wrong.