Python has this: https://github.com/google/pytype

"Pytype checks and infers types for your Python code - without requiring type annotations."