Fast type reconstruction for dynamically typed programming languages

10 years 4 months ago
Fast type reconstruction for dynamically typed programming languages
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to eliminate the burden of manually specifying types, verifying whether a program is type-safe, helping to produce more optimized code or helping to understand programs. While type inference and type reconstruction is an active field of research, most existing techniques are interested foremost in the precision of their approaches, at the expense of execution speed. As a result, existing approaches are not suited to give direct feedback in development environments, where interactivity dictates very fast approaches. This paper presents a type reconstruction algorithm for variables that is extremely fast (in the order of milliseconds) and reasonably precise (75 percent). The system is implemented as a byte-code evaluator in several Smalltalk environments, and its execution speed and precision are validated on a nu...
Frédéric Pluquet, Antoine Marot, Roe
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where DLS
Authors Frédéric Pluquet, Antoine Marot, Roel Wuyts
Comments (0)