Maybe comprehensive is the wrong word to use. But Typescript is definitely more mature. I really like to run these checks alongside black, pyupgrade etc. in my

Maybe comprehensive is the wrong word to use. But Typescript is definitely more mature. I really like to run these checks alongside black, pyupgrade etc. in my CI pipelines. And under the hood your IDE is just running the same "external" checker and parsing it's results to provide it's smarts. As for performance, early mypy versions took literally minutes on a moderately sized FastAPI codebase I maintain. The team (which includes Guido himself!) literally created a new python native compiler (mypyc) to try and improve performance of the tool. I like types in Python but it's early days compared to a more mature tool like Typescript. IMO it's pretty clear cut if you've spent significant time using both.