温和介绍：索引

• 1  介绍
• 2  价值、类型和其他货物
• 2.1  多态类型
• 2.2  用户定义的类型
• 2.2.1  递归类型
• 2.3  类型同义词
• 2.4  内置类型并不特殊
• 2.4.1  列表理解和算术序列
• 2.4.2  串
• 三  功能
• 3.1  Lambda抽象
• 3.2  中缀操作符
• 3.2.1  小节
• 3.2.2  固定性声明
• 3.3  功能是非标准的
• 3.4  “无限”数据结构
• 3.5  误差函数
• 4  大小写表达式和模式匹配
• 4.1  模式匹配语义
• 4.2  示例
• 4.3  大小写表达式
• 4.4  懒惰的模式
• 4.5  词汇范围界定与嵌套形式
• 4.6  布局
• 5  类型类和重载
• 6  类型，再次
• 6.1  新型宣言
• 6.2  字段标签
• 6.3  严格的数据构造函数
• 7  输入/输出
• 7.1  基本I/O操作
• 7.2  用动作编程
• 7.3  异常处理
• 7.4  文件、频道和句柄
• 7.5  Haskell与命令式编程
• 8  标准Haskell类
• 8.1  平等和有序类
• 8.2  枚举类
• 8.3  阅读和展示类
• 8.4  派生实例
• 9  关于Monad
• 9.1  Monadic课程
• 9.2  内置单间
• 9.3  使用Monad
• 10  数字
• 10.1  数字类结构
• 10.2  构造的数字
• 10.3  数字强制和过载文字
• 10.4  默认数字类型
• 11  模块
• 11.1  限定名称
• 11.2  抽象数据类型
• 11.3  更多功能
• 12  打字陷阱
• 12.1  Let-Bound多态性
• 12.2  数字过载
• 12.3  单态限制
• 13  阵列
• 13.1  索引类型
• 13.2  阵列创建
• 13.3  累积
• 13.4  增量更新
• 13.5  示例：矩阵乘法
• 14  下一阶段
• 15  致谢