TypeScript

判别联合：让非法状态无法表示

TypeScript 最有用的技巧不是 any 的对立面，而是把运行时才会炸的分支，提前写成编译器能穷尽的类型。