What tools do you use for static type checking in code?

For static type checking in Python, I usually use:

• mypy — the most popular tool for checking type annotations. It helps find type errors before running the code.
• Pyright — a fast and modern static analyzer from Microsoft, well integrated with editors.
• Pyre — a static typing tool from Facebook.

Example of using mypy:

from typing import List

def greet_all(names: List[str]) -> None:
    for name in names:
        print(f"Hello, {name}")

Run the check:

mypy script.py

These tools help identify type errors and improve code reliability.