以规则、状态、反例和实验掌握语法、词法与抽象语法树
7 讲以规则、状态、反例和实验掌握名字、作用域与绑定
7 讲以规则、状态、反例和实验掌握操作语义与求值策略
7 讲以规则、状态、反例和实验掌握函数、闭包与递归
7 讲以规则、状态、反例和实验掌握类型系统与类型推导
7 讲以规则、状态、反例和实验掌握代数数据类型与模式匹配
7 讲以规则、状态、反例和实验掌握对象、类与消息传递
7 讲以规则、状态、反例和实验掌握函数式编程与惰性
7 讲以规则、状态、反例和实验掌握逻辑与声明式计算
7 讲以规则、状态、反例和实验掌握内存模型与垃圾回收
7 讲以规则、状态、反例和实验掌握并发语义与效应
7 讲以规则、状态、反例和实验掌握解释器综合项目
7 讲