Python has this: https://github.com/google/pytype https://github.com/google/pytype "Pytype checks and infers types for your Python code - without requiring typ

Python has this: https://github.com/google/pytype https://github.com/google/pytype "Pytype checks and infers types for your Python code - without requiring type annotations."