Unit 1:函数与基本数据
表达式、环境与求值,复合过程与替换模型,条件表达式与黑箱抽象,lambda 与高阶函数,递归、迭代与效率。
本单元建立对程序如何被解释执行的第一手理解:从表达式、变量与环境的求值模型出发,掌握复合过程、替换模型、条件表达式与谓词、黑箱抽象;进而学习 lambda 与高阶函数;最后讨论递归与迭代在空间与时间上的效率,认识树形递归。
本章节目录
- 第 1 章 函数与基本数据 —— 表达式、变量与环境、组合式的求值、复合过程、替换模型、条件表达式、黑箱抽象与常见错误。
- 第 2 章 Lambda 与高阶函数 —— 用 lambda 构造过程、let 创建局部变量、过程作为实参与返回值的高阶函数。
- 第 3 章 递归、迭代与效率 —— 过程消耗的空间与时间、尾递归、树形递归的效率分析。
- 项目 1:Chatterbot —— 综合运用词、句子、递归与高阶函数,构建一个简单的聊天机器人。
提示
建议按顺序学习;每一课(Lesson)以导言开始、以作业(Homework)收尾,中间各节可按需反复阅读。