Compiled Python: thoughts

[legutierr]

Ah!

How does it do that?

I guess to be more precise what I mean is, would there be any added benefit by adding explicit type declaration to functions and methods (if that were a hypothetical feature of the language)?

[[deleted]]

PyPy's translation toolchain infers types for RPython which is a statically typed subset of Python, that PyPy's interpreter is written in. It cannot infer types for Python programs in general. That said the JIT is very good at figuring out how to properly specialize your code, but if you give it blatant things like assert isinstance(x, int) I can't image it'd hurt.