Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Let Should not be Generalised

Dimitrios Vytiniotis, Simon Peyton Jones, and Tom Schrijvers


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.


Publication typeInproceedings
Published inProceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and Implementation
PublisherAssociation for Computing Machinery, Inc.
> Publications > Let Should not be Generalised