Let should not be generalized
Let should not be generalized
复制标题
不宜一概而论
DOI：
10.1145/1708016.1708023
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Tom Schrijvers
中科院分区：
文献类型：
--
作者：
Dimitrios Vytiniotis;S. Jones;Tom Schrijvers
从一开始，经典Hindley-Milner类型系统的所有衍生物都支持局部let绑定的隐式推广。然而，正如我们将展示的，对于更复杂的类型系统，隐式的let泛化会带来不成比例的复杂性负担。此外，事实证明，该功能很少使用，所以我们建议消除它。这样做的好处是大大简化了类型系统的规范及其实现。
From the dawn of time, all derivatives of the classic Hindley-Milner type system have supported implicit generalisation of local let-bindings. Yet, as we will show, for more sophisticated type systems implicit let-generalisation imposes a disproportionate complexity burden. Moreover, it turns out that the feature is very seldom used, so we propose to eliminate it. The payoff is a substantial simplification, both of the specification of the type system, and of its implementation.