类型安全是安慰剂：模型只认选项名字不认内容

类型安全能保证代码不崩，但能保证决策正确吗？一篇新论文把这个问题摊开了。研究团队设计了一套带类型约束的决策模型，本以为收紧类型就能杜绝错误——结果模型依然犯错，而且犯法高度一致：它认选项的名字，不认选项的内容。这挺讽刺的。类型系统把形式上的混乱堵住了，语义层面的偏差却纹丝不动。我倾向于认为，这说明形式约束和实质正确性之间存在一道很难弥合的鸿沟。光靠类型，拦不住模型走捷径。

原文：Type-Safe Is Not Error-Free: Typed Decision Models Follow the Option Name · 来源：Hacker News