3 ms·
I would maybe recommend Typescript if you want to harness the type level power of "proving" correctness for certain aspects of your code.
by mpoteat 6y ago
I would maybe recommend Typescript if you want to harness the type level power of "proving" correctness for certain aspects of your code.
- leshow 6y agoBig scare quotes there, you can't really 'prove' much in typescript. Don't get me wrong, it's a nice type system they've tacked on to JS, but it's far and away from proofs of correctness. At best, it's an optional type system with escape hatches.
- futureproofd 6y agoYou can only 'prove' what you expect from your design. This works in most cases and saves a lot of guesswork on big, unfamiliar projects. It's not an integral part of JS though, so I wouldn't recommend learning it as a foundation.