Haskell TextBook

目录:

• Haskell 安装与入门
  • 介绍
  • Haskell编译器安装与编程环境
  • 认识GHCi
  • 关于注释
• 数据类型与函数
  • Haskell 类型系统特性
  • 常用数据类型
  • 定义数据类型
  • 变量，函数与柯里化
  • 匿名函数
  • 运算符
  • 多态
  • 惰性
• 表达式
  • 局部变量
  • 条件表达式
  • guard 守卫
  • 多分支条件表达式
  • 模式匹配
  • 模式守卫
  • 观察模式
  • 模式同义
• 递归与高阶函数
  • 递归函数
  • 不动点
  • 高阶函数
• 类型类
  • 类型类的声明与实例的实现
  • 类型类约束
  • 常用类型类
  • 派生
  • 特殊用法
  • 其他常用类型类
• 函子专题
  • 函子类型类 Functor
  • 应用函子类型类 Applicative
  • 单子类型类 Monad
• Monad专题
  • Monad介绍
  • 常见的 monad
  • 更多 monad
  • 增强Monad MonadPlus
  • monad 转换器
  • Control.Monad 常用函数
• IO 专题
  • 纯度与副作用
  • IO monad
  • 可变数据 Data.IORef
  • 数据读写
  • 系统环境
  • 文件及目录操作
  • 系统进程
  • 不安全的IO
• Haskell 的类型系统
  • Haskell 类型系统层次
  • 类型推断
  • 类型的秩
  • 种类多态
  • 类型族
  • 可类型化
• Typeable 专题
  • TypeRep
  • Proxy 代理类型
  • 可类型化的使用与派生
• GADTs 专题
• Generics 专题
  • 实现通用的Show
  • Generic1
• 错误和异常专题
  • 错误处理
  • 异常处理
  • 小记：错误与异常的转换
  • 调用栈 CallStack
• Haskell 工程专题
  • 模块、包和项目
  • 测试
• 资源