> If you compile to Python, well, your program will probably run pretty slowly and you lose any static typing guarantees. What? The static typing guarantees sh

> If you compile to Python, well, your program will probably run pretty slowly and you lose any static typing guarantees. What? The static typing guarantees should be checked (statically!) by the compiler, so the choice of language you emit doesn't need to affect what kind of type system you can design your input language to accept.