5.2.2.1 值依赖类型

文档摘要

5.2.2.1 值依赖类型 5.2.2.1 值依赖类型：当类型系统开始“记住”你传进去的那个你有没有写过这样的函数？它工作良好——直到某天，产品提了个需求：“按钮点击次数上限必须是，且前端要静态校验，后端要编译期拒绝的调用。” 你皱眉：？那在编译时根本过不去检查。你加个运行时？可这违背了“错误越早暴露越好”的工程信条。更糟的是，三个月后另一个模块也用了，但没人记得这个是业务硬约束——它只是个字面量，没有身份，没有契约，没有记忆。这就是值依赖类型的原始痛点：类型系统看不见值，因而无法将“这个具体的 ”升格为一类可推理、可约束、可复用的类型实体。它不是泛型不够强，不是模式匹配不够炫，而是语言底层缺了一块拼图：让类型能以某个具体值为锚点，构建出独一无二的类型身份。