在sicp中提到正则序是“先展开然后归约”，然而我没看到‘展开’和‘归约’的定义。
我想问(+ 3 3)=>6 为什么我们说他是‘归约’，不称为‘展开’？
我觉得‘归约’和‘展开’都是将运算符应用于实参，我找不到区别。
然后求教正则序求值步骤到底是怎么样的？
可以看这里 http://staff.ustc.edu.cn/~xyfeng/teaching/TOPL/lectureNotes/04_lambda.pdf
如果有基础，可以直接跳到第34页
在sicp中提到正则序是“先展开然后归约”，然而我没看到‘展开’和‘归约’的定义。
我想问(+ 3 3)=>6 为什么我们说他是‘归约’，不称为‘展开’？
我觉得‘归约’和‘展开’都是将运算符应用于实参，我找不到区别。
然后求教正则序求值步骤到底是怎么样的？
可以看这里 http://staff.ustc.edu.cn/~xyfeng/teaching/TOPL/lectureNotes/04_lambda.pdf
如果有基础，可以直接跳到第34页