3 ms·
It's not sound :(. Type systems should be bomb proof or get out of the way.
by weatherlight 3y ago
It's not sound :(. Type systems should be bomb proof or get out of the way.
- deleted 3y ago[deleted]
- mjhay 3y agoTypescript's unsoundness isn't a good thing, but it is way down the list of type-unsafe things inherent in the Boschian nightmare that is frontend development. Compile-to-JS languages add a big impedance mismatch when you inevitably need to use JS libs. Typescript's JS + types philosophy helps with this issue (it still sucks though).