Unit 1:函数与基本数据

表达式、环境与求值,复合过程与替换模型,条件表达式与黑箱抽象,lambda 与高阶函数,递归、迭代与效率。

本单元建立对程序如何被解释执行的第一手理解:从表达式、变量与环境的求值模型出发,掌握复合过程、替换模型、条件表达式与谓词、黑箱抽象;进而学习 lambda 与高阶函数;最后讨论递归与迭代在空间与时间上的效率,认识树形递归。

本章节目录

提示

建议按顺序学习;每一课(Lesson)以导言开始、以作业(Homework)收尾,中间各节可按需反复阅读。