Lisp made its choice long ago: flexability over constraint, freedom over guarantees, call it what you will. It does make it a hard language to optimize though.

Lisp made its choice long ago: flexability over constraint, freedom over guarantees, call it what you will. It does make it a hard language to optimize though. Thankfully, it got significantly easier once functions became opaque. But it's still a PITA.