为什么 Swift 的类型检查器如此之慢 (danielchasehooper.com)

这篇文章分析了Swift编译器类型检查速度慢的原因，主要是因为其双向Hindley-Milner类型检查器在处理复杂表达式时效率低下，尤其是在使用ExpressibleBy协议和运算符重载的情况下，会导致组合爆炸。作者建议Swift团队添加一个新的类型检查器，该检查器在复杂情况下需要类型注释，并提供了一个逐步过渡的方案。