[rlamy]

It's the wrong level: the RPython toolchain has no notion of PHP-level types, they're entirely implemented by the interpreter. Besides, optional static types are nearly useless (performance-wise) when you have a JIT.

[crudbug]

I was thinking about RPython to native code AOT route.