matchkin:静态检查的TypeScript穷举匹配

火柴 matchkin是一个TypeScript库，用于创建可以静态证明是详尽无遗的值匹配器。在这种情况下，穷举意味着所有可能的值都会得到处理（只要我们不故意逃避类型系统的甜蜜拥抱）。 例如，概述了一种使用switch语句实现几乎相同目的的好方法。可以静态检查switch语句中的意外值，因此"hambugre"与"hambugre"而不是"hamburger"匹配。但是matchkin确实提供了一些额外的好处： 永远不要忘记默认块。如果类型检查器发现未明确涵盖所有可能性，则需要默认回退。注意，例如，可以将配置为在所有switch语句中要求默认块。然而... 没有免费的默认块。如果类型系统确信您正在处理所有情况，则默认回退是禁止的。 确保可以静态检查所有内容。向上移动一个元级别。匹配器是通过调用createMatcher(...)创建的。这些调用也会得到静态检查，以确保可以对结果匹配器执行