Mining the Ecosystem to Improve Type Inference for Dynamically Typed Languages
Abstract
Dynamically typed languages lack information about the types of variables in the source code. Developers care about this information as it supports program comprehension. Basic type inference techniques are helpful, but may yield many false positives or negatives.