跳至內容
- 簡介
- 程序結構
- 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的派生實例
- 一個例子
- 編譯器指示
- 內聯
- 特例化
- 語言擴展