4 ms·
There is no way to enforce what is an expected input to a function, once a system grows large enough. This is exactly what typechecking does for you and is the
by cageface 6y ago
There is no way to enforce what is an expected input to a function, once a system grows large enough.
This is exactly what typechecking does for you and is the reason I think trying to build any large system without them is a bad idea.
- Supermancho 6y ago> This is exactly what typechecking does for you Having types, isn't a binary choice. eg Generics, plain objects, functions, pointers. There are inevitably gaps in how the type system can ensure your what your outputs will be (even if it's a halt).
- cageface 6y agoSure, in an absolute sense. But in practical terms they are fantastically helpful here.