Little Schemer第4版：rember函数讨论

Question

在简化rember函数之后，在第41页上，有一个问题 - 我的理解不太理解。

 
Q: So why don't we simplify right away? 
R: Because then a function's structure does not coincide with its argument's structure. 

我试图弄清楚了几天，但我不明白什么确切意味着这个问题的答复。

任何人都可以向我解释弗里德曼想表达的那个问题吗？

在此先感谢

Answer 1

直到一章中的这一点，列表上的递归已经使用cond有两个条件，其中第二个条件是反过来另一个cond被写入。这就是作者用“参数结构”（一个列表）与“函数结构”（一个两个条件cond）不一致的意思 - 因为现在函数的结构为一个单独的cond，它具有三个条件，更简单易懂。