计算机程序的构造和解释（原书第2版）经典语录及段落句子摘抄

好书网为大家整理了经典好书《计算机程序的构造和解释（原书第2版）》中的经典语录，精彩段落及优美句子，重读经典，感悟人生。让读者沉浸在自己的阅读世界里，忘记周围的世界， 与作者一起在另外一个世界里快乐、悲伤、愤怒、平和，欢迎大家阅读~

虽然代换模型看起来似乎非常简单,但令人吃惊的是,给出代换过程的严格数学定义却异常复杂.问题在于,用作过程中形式参数的名字,可能会与该过程可能应用的那些表达式中的(同样)名字相互混淆.在逻辑和程序设计的语义学文献里,关于代换的充满错误的定义有一个很长的历史.