Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Dec 18, 2013
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being available—e. g., code generation and optimisation as well as program comprehension. Since code written in such languages usually makes little or no explicit assumptions about types, static type inference is not particularly well suited to obtain the desired information.
Our approach introduces type harvesting, a practical approach to obtaining type information. For a specified system under observation, we wrap all corresponding methods and closely observe their types at run-time. Type harvesting allows for exploiting unit tests to automatically obtain type information for a code base. Its evaluation, using several complex applications, shows that type harvesting yields excellent results with high precision.