It's a pity that there is no discussion of the fact that the 2 interpreters use different scoping. The 1st uses lexical scoping, and the 2nd uses dynamic scoping.
It's also a pity that there is no discussion of the “label” special form, even though its implementation was right there in the code being discussed. This is a very fertile area for conversation.
For example, why is it that McCarthy was able to implement recursive procedures with “label” so simply without using any assignment or mutation?
It's also a pity that there is no discussion of the “label” special form, even though its implementation was right there in the code being discussed. This is a very fertile area for conversation.
For example, why is it that McCarthy was able to implement recursive procedures with “label” so simply without using any assignment or mutation?