Static type checking à la mypy #3893
Description
Would be amazing if Ruff had static type checking. Mypy is a well known solution in this area as well as pytype, pyre, and others.
As a follow up, we could have some way of auto-fixing type annotations.
Thank you for this incredible project 😍