logoalt Hacker News

socalgal2yesterday at 9:08 PM3 repliesview on HN

I don't know about what other strictness you're referring to but exhaustive enum matching is common check in most TS stacks via eslint. Yea, it's not builtin, just saying there's a solution and it's super common.


Replies

rtpgtoday at 12:51 AM

The thing you gotta make sure to do is basically return inside of switch statements. Typescript will gladly propagate a type that you think is never but is actually ThatOneCaseYouForgot if it's not ever used or referred to.

Every TS project I've worked on has an assertNever(val) thing specifically to check for this kinda stuff

tcfhgjyesterday at 11:12 PM

last time I researched enums in TS for a project, they were a mess such that it was better not to use enums in the first place

cyberaxyesterday at 9:42 PM

You can actually have it built-in (via default case in 'switch' statements having a 'never()' statement). But it's less powerful than Rust's.

show 1 reply