[tanlermin]

Can the type information be consumed by a compiler like nuitka to produce fast binaries?

[mzs]

You might be more interested in Cython.

[tanlermin]

Cython is uglier and without type inference.

I wish we could just use mypy when we feel like making our code faster :/