If a library is implemented using Java, we automatically convert arguments to correct types based on the types in the keyword signature. Similar support would be very handy also with Python based ...

Microsoft's Python Language Server Pylance uses type information to implement useful features like autocompletion and type checking. For best results, type annotations must be provided for functions, ...

Given that Python is a dynamic language, our solution would need to maximize the utilization of all the existing tools to improve type-safety.

Pyrefly from Meta and Ty from Astral offer type-checking for Python codebases at the speed of Rust.

Abstract: 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 ...