Comment by dist-epoch
Comment by dist-epoch a day ago
> I'd prefer to have non-performance critical code for Python written in Python
A type checker is performance critical code. You can watch how Pylint, just a linter, written in Python, lints your source code line by line. It's so slow it can take 30 seconds to update the linting after you change some lines.
Or entire projects abandoning checking because mypy is so damned slow for anything non-trivial