导读
这一集合讨论不同编程语言中的抽象、类型与求值。目前从 cons 列表切入函数式编程，用一个小型数据结构连接递归、不可变性与组合。后续计划展开代数数据类型、模式匹配、lambda 演算与副作用。
programming languages待完善
编程语言
类型、抽象，以及塑造程序构造方式的核心思想。
阅读路径
- 函数式编程的基本思想与 cons 列表
一篇函数式编程笔记：用 λ 演算组合子、cons cell、递归和 TypeScript 泛型建立不可变列表的直觉。
类型、抽象，以及塑造程序构造方式的核心思想。
这一集合讨论不同编程语言中的抽象、类型与求值。目前从 cons 列表切入函数式编程，用一个小型数据结构连接递归、不可变性与组合。后续计划展开代数数据类型、模式匹配、lambda 演算与副作用。
一篇函数式编程笔记：用 λ 演算组合子、cons cell、递归和 TypeScript 泛型建立不可变列表的直觉。