006-类型与数据

• 类型签名与Lambda演算
• 代数数据类型
• Option与Either
• 光学结构
• JavaScript函数式编程库