2 ms·
> This is exactly what typechecking does for you Having types, isn't a binary choice. eg Generics, plain objects, functions, pointers. There are inevitably gap
by Supermancho 7y 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 7y agoSure, in an absolute sense. But in practical terms they are fantastically helpful here.