Really good article. Interesting to see what the issues were with Scheme back then. Funny that they loved continuations, but still hadn't figured out how to do them "in the general case". It is the general case of continuations that makes Scheme inefficient, just like lazy evaluation is Haskell's Achilles heel.

The TI comments about lexical and dynamic scoping are also interesting; makes me appreciate how newLisp dealt with it. Although newLisp is officially "dynamically" scoped, I recently realized that Lutz snuck Lexical scoping in there; the dynamic scoping is actually limited by the lexical scope. And by Lexical scope, I'm not talking about the context/module system, although that is a part of it. I mean real lexical scope.

If not for continuations, I wonder if Scheme would have taken off more than it has. Also it was interesting seeing that T and NIL hadn't become #true and #false yet.