I agree. I believe the type checker should've been part of the interpreter, or a module like pip. Differences between mypy and pyright drive me crazy. That sai

I agree. I believe the type checker should've been part of the interpreter, or a module like pip. Differences between mypy and pyright drive me crazy. That said, I don't think this a reason not to use type hints. They're still useful (see TFA), even if they're not perfect.