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

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