告别神秘的类型错误：PolySubML 如何改善类型推断的错误信息

PolySubML 是一种结合全局类型推断、子类型和高级多态性的编程语言。本文探讨了 PolySubML 如何设计良好的类型错误信息，并解释了现有语言在改进类型推断错误信息方面常常不足的原因。作者提出了五条规则：1. 切勿猜测或回溯；2. 不要妄下结论；3. 要求用户澄清意图；4. 允许用户编写显式类型注释；5. 不要将静态类型推断包含在运行时执行模型中。通过遵循这些规则，PolySubML 成功地解决了类型推断带来的许多常见问题，显著提高了代码的可调试性。