- document
-
Mir, S.A.M. (author), Latoskinas, Evaldas (author), Proksch, S. (author), Gousios, G. (author)Dynamic languages, such as Python and Javascript, trade static typing for developer flexibility and productivity. Lack of static typing can cause run-time exceptions and is a major factor for weak IDE support. To alleviate these issues, PEP 484 introduced optional type annotations for Python. As retrofitting types to existing code-bases is...conference paper 2022