For Python people, I believe the Sorbet Compiler is basically to Ruby what Cython is to Python. Although, Cython is happy to compile things without types attached.
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.
Also mypyc is still very alpha, while cython is production-usable for years now.