On: John Carmack working on Scheme as a VR scripting l...

[kd0amg]

No. Macros can optimise any way you fancy. There are no limits.

For example, the Racket compiler does not need to know about the type specializing optimizations that Typed Racket makes possible.