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