Technical Reports (CIS)
Document Type
Technical Report
Date of this Version
June 1999
Abstract
A partial type inference technique should come with a simple and precise specification, so that users predict its behavior and understand the error messages it produces. Local type inference techniques attain this simplicity by inferring missing type information only from the types of adjacent syntax nodes, without using global mechanisms such as unification variables. The paper reports on our experience with programming in a full-featured programming language including higher-order polymorphism, subtyping, parametric datatypes, and local type inference. On the positive side, our experiments on several nontrivial examples confirm previous hopes for the practicality of the type inference method. On the negative side, some proposed extensions mitigating known expressiveness problems turn out to be unsatisfactory on close examination.
Recommended Citation
Haruo Hosoya and Benjamin C. Pierce, "How Good Is Local Type Inference?", . June 1999.
Date Posted: 25 June 2007
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No.MS-CIS-99-17.