Hacker News new | ask | show | jobs
by weatherlight 1043 days ago
It's not sound :(. Type systems should be bomb proof or get out of the way.
1 comments

Typescript'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).