Which is proven wrong by optimizing Common Lisp compilers wiht similar abstractions.

Or the SELF workstation environment at Sun, whose research ideas in optmizing JIT compilers eventually landed on V8.