Note that putting a language on top of the existing language won't prevent VM stack overflows of the type used in the attack. It's more likely to hide them.

A better example is Haskell, which usually compiles down to a low level C dialect.