3 ms·
Hm? Typescript actually uses the same mechanism for exhaustiveness checking as flow (like your link describes).
by dahauns 9y ago
Hm? Typescript actually uses the same mechanism for exhaustiveness checking as flow (like your link describes).
- dmitriid 9y agoIt does. And, like in the article, Typescript is “saved by a hack”. Compare that to Elm, where it will automatically fail compilation if you don’t include all required types in a switch statement. Without any hacks or manual intervention.
- dahauns 9y agoOh, I know. Elm is far more elegant in that regard. But just because I have to "switch on" exhaustiveness checks doesn't mean they don't exist.
- dmitriid 9y agoThing is, it only works in if and switch statements, you have to be aware of it (I don’t think you can deduce it from docs), and you have to manually trigger it. It’s ”poor man’s exhaustiveness” and TS will hopefully get better at this