纯函数
惰性求值
类型系统
模式匹配
高阶函数
函数组合
单子（Monad）
函子（Functor）
应用函子（Applicative Functor）
类型类
不可变数据
列表推导
递归
尾递归优化
类型推导
类型别名
数据类型
新类型（Newtype）
多态
模块系统
IO 操作
代数数据类型（ADT）
GHC 编译器
Haskell 标准库
类型家族
类型级编程
Kind
类型同构
类型约束
类型推广
纯函数
惰性求值
类型系统
模式匹配
高阶函数
函数组合
单子（Monad）
函子（Functor）
应用函子（Applicative Functor）
类型类
不可变数据
列表推导
递归
尾递归优化
类型推导
类型别名
数据类型
新类型（Newtype）
多态
模块系统
IO 操作
代数数据类型（ADT）
GHC 编译器
Haskell 标准库
类型家族
类型级编程
Kind
类型同构
类型约束
类型推广