Scheme 《小阴谋家》第四版：记忆功能讨论

在对

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. 问：那我们为什么不马上简化呢？ R：因为这样一来，函数的结构与其参数的结构就不一致了。 我已经想了好几天了，但我不明白这个问题的确切含义

有谁能解释一下弗里德曼想用这个问题向我展示什么

---

提前感谢

直到本章的这一点，列表上的递归都是使用带有两个条件的

cond

编写的，其中第二个条件依次是另一个

cond

。这就是作者所说的“参数结构”（一个列表）与“函数结构”（两个条件

cond

）不一致的意思-因为现在函数被构造为一个带有三个条件的单个

cond

，更简单、更容易理解。

程序员Stackexchange将是更合适的讨论场所。感谢@plaes的评论，我把这个问题放在这里，因为我看到StackOverflow已经有了一个小小的schemer标签。感谢@Óscar的回答，我明白了Friedman的意思