2026年6月17日 数字不只是数字:如何让编译器在编译期捕获单位错误 该传秒的地方传了毫秒,这种 bug 能躲过所有测试。下面介绍如何将单位直接编码进 TypeScript 的类型系统,让混用在编译阶段就报错,且运行时零开销。 type-level-correctnessunitstypescriptzero-cost-abstractions