...; } List 的定义（以 List[Int] 为例）： 25 总结 本章节介绍了⽉兔中的诸多⾃定义数据类型，包括 多元组 结构体 枚举类型 并介绍了代数数据类型的概念 推荐阅读 Category Theory for Programmers 第六章 26

100.0 } 11. debug(diff_y) // { val : 10.0 } 12. } 29 总结 本章节介绍了⾃动微分的概念 展示了符号微分 展示了前向微分与后向微分 拓展阅读 3Blue1Brown：深度学习系列（梯度下降法、反向传播算法） 30

编译与解释 编译 源程序 x 编译器 -> ⽬标程序 ⽬标程序 x 输⼊数据 -> 输出数据 解释 源程序 x 输⼊数据 x 解释器 -> 输出数据 CPU可以被视为⼴义上的解释器 拓展阅读：⼆村映射/部分计算 部分计算：程序优化，根据已知信息，运算进⾏特化 已知源程序与解释器，进⾏部分运算，获得⽬标程序 ⽬标程序 x 输⼊数据 -> 输出数据 2 虚拟机 ⼀处编写，处处运⾏

7. } 8. } 28 总结 本章节我们学习了树这⼀数据结构，包括 树的定义及相关术语 ⼆叉树的定义以及遍历 ⼆叉搜索树的定义以及增删操作 ⼆叉平衡树AVL树的再平衡操作 拓展阅读 《算法导论》第12、13章 29

Tree[T], value: T, compare: (T, T) -> Int) -> Tree[T] 26 总结 本章节我们学习了 泛型和函数是⼀等公⺠的概念 数据结构堆栈与队列的实现 推荐阅读 Software Foundations 第四章 或 Programming Language Foundations in Agda 第⼗章 27

// 获得计算结果 24 总结 本节课展示了⼀个语法解析器 介绍了词法解析的概念 介绍了语法解析的概念 展示了语法解析组合⼦的定义与实现 Tagless Final的概念与实现 拓展阅读 调度场算法 斯坦福CS143 第1-8课 或 《编译原理》前五章 或 《现代编译原理》前三章 拓展练习 实现兼容各类�流�的语法解析组合⼦ 25

true 15. debug(map.contains(1)) // false 16. } 26 总结 本章节介绍了 哈希表的两种实现 开放寻址 直接寻址 闭包的概念及封装应⽤ 推荐阅读 《算法导论》第⼗⼀章 或 《算法》第3.4节 27

aux(num, 0L, 1L) 9. } 41 总结 本章节我们学习了 基础数据类型：函数的定义与运算 数据结构：列表的定义与模式匹配 算法：递归的含义与运算，以及动态规划 拓展阅读 Software Foundations 前三章 或 Programming Language Foundations in Agda 前三章 《算法导论》第⼗四章 42