《类型和程序设计语言》章节试读

《类型和程序设计语言》的笔记-第65页 - 11 简单扩展

这一下就基本上把一个简单的小型语言给扩展出来了：
11.1 基本类型
11.3 序列和通配符
11.5 let绑定
11.6 序对（pair）
11.7 元组（tuple）
11.8 记录（Record）
11.10 变式（这翻译好蛋疼，就是OCaml里的type形式）
11.11 一般递归
11.12 列表

《类型和程序设计语言》的笔记-第32页 - 第5章 无类型的lambda演算

lambda演算是Alonzo Church于20世纪20年代发明的一个形式系统，其中所有的计算规约为函数定义和应用的基本运算。
lambda演算广泛用于程序语言特征的说明、语言设计和实现，以及类型系统的研究。他的重要性在于，既可以作为描述计算的一个简单程序语言，同时也可以作为一个数学对象，其中严格语句能够得到证明。
无类型的lambda演算也就只能终止于Church算术系统和各种奇葩的组合子（Combinator）了。
beta reduction和alpha conversion是整个lambda演算的基础吧。