Incremental On-Line Type Inference
NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Pagination or Media Count:
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.
- Numerical Mathematics
- Computer Programming and Software