Comment by davidhalter

No, it's more like this: Mypy is to Python what Sorbet is to Ruby and mypyc is basically a Python compiler, like the Sorbet compiler.

CPython is just like Ruby MRI. It does not do type checking or use type annotations and it's basically an interpreter not a compiler.