3 ms·
> And this is, well, uhm, well... acceptable? It is not. The only purpose of a type system is to prevent broken code from compiling. When it fails to do so, it
by Anderkent 8y ago
> And this is, well, uhm, well... acceptable?
It is not. The only purpose of a type system is to prevent broken code from compiling. When it fails to do so, it is broken.
- dtech 8y agoTypescript with its explicitly unsound type system show that a "broken" type system is immensely valuable, especially when you get something in return for that [1] [1]: https://www.typescriptlang.org/docs/handbook/type-compatibility.html https://www.typescriptlang.org/docs/handbook/type-compatibil...
- Anderkent 8y agoWell, sure, it's better than having an even worse type system! No one's saying java's type system is worse than not having anything.