Haskell2010中文报告/语言

1. 简介
   1. 程序结构
   2. Haskell核
   3. 值和类型
   4. 名字空间
2. 词法结构
   1. 记法约定
   2. 词法程序结构
   3. 注释
   4. 标识符和运算符
   5. 数符
   6. 字符和串符
   7. 排版
3. 表达式
   1. 错误
   2. 变量，构造符，操作符和终结符
   3. Curry应用及Lambda抽象
   4. 操作符应用
   5. 分切
   6. 条件式
   7. 列表
   8. 元组
   9. 元表达式和括号表达式
   10. 算术序列
   11. 列表组合
   12. let表达式
   13. case表达式
   14. do表达式
   15. 域标记数据类型
   16. 表达式类型签名
   17. 模式匹配
4. 声明和绑定
   1. 类型和类概述
   2. 用户定义数据类型
   3. 类型类及重载
   4. 嵌套声明
   5. 函数及模式绑定的静态语义
   6. kind推导
5. 模块
   1. 模块结构
   2. 导出结构
   3. 导入声明
   4. 导入和导出实例声明
   5. 命名冲突和闭包
   6. 标准prelude
   7. 分开编译
   8. 抽象数据类型
6. 预定义类型和类
   1. 标准Haskell类型
   2. 即时求值
   3. 标准Haskell类
   4. 数
7. 基本输入/输出
   1. 标准I/O函数
   2. 序列化I/O操作
   3. I/O单子异常处理
8. 外部函数接口
   1. 外部语言
   2. 上下文
   3. 词法结构
   4. 外部声明
   5. 外部实体规范
   6. 列集
   7. 外部C接口
9. 标准prelude
   1. Prelude preludelist
   2. Prelude preludeText
   3. Prelude preludeIO
10. 语法参考
    1. 记法约定
    2. 词法语法
    3. 版式
    4. 文字注释
    5. 上下文无关语法
    6. 结合解析
11. 派生实例规范
    1. Eq及Ord的派生实例
    2. Enum的派生实例
    3. Bounded的派生实例
    4. Read和Show的派生实例
    5. 一个例子
12. 编译器指示
    1. 内联
    2. 特例化
    3. 语言扩展