摘要：想了很久都没想明白。今天早上一看，发现自己绕在哪里了。 cons（x y）的实现是一个lambda表达式，本质上cons(x y)是一种m操作。m是一种操作没错，但是并没有实际定义m是怎么样一种操作，不妨看作是一种操作类型的形参。 z是cons(x y) 参数m=(lambda（p q）p)，这里面 阅读全文