第一章 - 基础概念：闭包、高阶、合成、宏、柯里化 https://www.bilibili.com/video/BV148411f7gt/ 第二章 - 无类型的 λ 演算 https://www.bilibili.com/video/BV1JV4y1273b/ 看得人多的话继续更新。 柯里化, 演算, 函数, 编程
