Have you used MyPy for type checking?

Yes, MyPy is a static type analyzer for Python that allows checking type correctness in code without running the program.

Using MyPy helps identify type errors, for example, when a function expects an argument of one type but receives another.

Example of using MyPy:

from typing import List

def total_length(strings: List[str]) -> int:
    return sum(len(s) for s in strings)

result = total_length(["hello", "world"])
print(result)

If you try to call total_length with an argument of the wrong type, for example, total_length(123), MyPy will issue a warning.

To run the check, simply execute in the terminal:

mypy script.py

Thus, MyPy helps improve code quality and avoid errors related to incorrect type usage.