Haskell 是一个强类型语言 类型与数据 常见类型 Bool ：两个值 True False ，逻辑非是 not Haskell 中约定类型的名字与该类型的数据（类型构造器）的首字母要大写 Char ：使用单引号，还

$\lambda$ 演算是什么 是一套从数学逻辑中发展，以变量绑定和替换的规则，来研究函数如何抽象化定义、函数如何被应用以及递归的形式系统。—— WikiPédi

Intro 从$\lambda$ 演算开始，到 Lisp Scheme ML，函数式编程的历史比 C 语言要久远得多。1987 年的函数式编程与计算机体系结构的会议 上，Haskel