Incremental On-Line Type Inference
Abstract
Type inference in interactive programming environments falls short in two respects. The ability to type check definitions one at a time, and to type check some definitions but not all after one definition is modified is called incremental on-line type inference. Current interactive programming environments perform batch type inference and require extensive type recomputation for small changes. We give an algorithm for on-line type inference that is implemented as an attribute grammar. From this grammar an editor was automatically generated that performs on-line type inference. The editor infers types incrementally due to a well-known reduction we used from Hindley-Milner type inference to first- order unification. Unlike other efforts, our algorithm for on-line type inference is truly incremental. Software, On-line Type Inference, Interactive Programming Environments.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1994
- Accession Number
- ADA280991
Entities
People
- Thomas L. Robinson
Organizations
- Naval Postgraduate School