火柴 matchkin是一个Typescr ipt库，用于创建可以静态证明是详尽无遗的值匹配器。在这种情况下，穷举意味着所有可能的值都会得到处理（只要我们不故意逃避类型系统的甜蜜拥抱）。 例如，概述了一种使用switch语句实现几乎相同目的的好方法。可以静态检查switch语句中的意外值，因此"hambugre"与"hambugre"而不是"hamburger"匹配。但是matchkin确实提供了一些额外的好处： 永远不要忘记默认块。如果类型检查器发现未明确涵盖所有可能性，则需要默认回退。注意