Overhead of call-by-need / call-by-name Lisp interpreter strategy
I've a partially finished interpreter for a lexically scoped 'pure Lisp' (no set!) that uses a call-by-need evaluation model which comes down to call-by-name with simple caching, the interpreter naturally uses an environment-based evaluation model. The standard way of evaluating lambda abstractions, as in, constructing a new environment...