Generative Type Inference for Python

Understand

Python is a popular dynamic programming language, evidenced by its ranking as the second most commonly used language on GitHub.

• However, its dynamic type system can lead to potential type errors, leading researchers to explore automatic type inference approaches for Python programs.
• The rule-based type inference approaches can ensure the accuracy of predicted variable types, but they suffer from low coverage problems.
• Supervised type inference approaches, while feature-agnostic, require large, high-quality annotated datasets and are limited to pre-defined types.