A static type checker for Python and a compiler for type-annotated Python
Xuanda Yang
Mypyc now employs an IR that is tightly bound to C, which makes potential experiments with new backends impractical and also breaks the layering...