_1的求值进行得类似于其他的RPN表达式。如果在codice_1中的第一个项目是值，把它压入堆栈codice_3。更准确的说，如果这个项目是个标识符，刚压入到堆栈的这个值，将绑定于在当前环境codice_2中的那个标识符。如果这个项目是个抽象，则构造一个闭包来保存它的自由变量的绑定（它们在codice_2中），并把这个闭包压入堆栈。如果这个项目是codice_6，从堆栈弹出两个值并完成应用（将第一个应用于第二个）。如果应用的结果是个值，把它压入堆栈。但是，如果应用是将一个抽象（已表示为闭包）应用于一