1.
基本事項
2.
リテラル
3.
変数
4.
宣言
5.
関数
6.
組み込み関数
7.
演算子
8.
副作用とプロシージャ
9.
プロシージャ
10.
組み込みプロシージャ
11.
配列
12.
辞書
13.
添字アクセス
14.
タプル
15.
レコード
16.
セット
17.
型
17.1.
Ergの型システム
17.2.
型に関する基本的な文法
17.3.
トレイト
17.4.
クラス
17.5.
継承
17.6.
記名的部分型 vs. 構造的部分型
17.7.
パッチ
17.8.
値型
17.9.
属性型
17.10.
区間型
17.11.
列挙型
17.12.
篩型
17.13.
代数演算型
17.14.
依存型
17.15.
型変数、量化型
17.16.
部分型付け
17.17.
キャスト
17.18.
可変型
17.19.
型境界
17.20.
複合型
17.21.
高度な型
17.21.1.
一般化代数的データ型
17.21.2.
デフォルト引数付きの関数型
17.21.3.
型消去
17.21.4.
存在型
17.21.5.
キーワード引数付き関数型
17.21.6.
カインド
17.21.7.
マーカートレイト
17.21.8.
可変構造型
17.21.9.
新規型パターン
17.21.10.
オーバーロード
17.21.11.
幽霊型
17.21.12.
射影型
17.21.13.
量化依存型
17.21.14.
共有参照
17.21.15.
特殊型
17.21.16.
Typeof, classof
17.21.17.
変性
17.21.18.
型拡大
18.
イテレータ
19.
可変性
20.
所有権システム
21.
可視性
22.
命名規則
23.
無名関数
24.
サブルーチンシグネチャ
25.
クロージャ
26.
モジュール
27.
対象体
28.
パターンマッチ、論駁可能性
29.
内包表記
30.
展開代入
31.
デコレータ(修飾子)
32.
エラーハンドリングシステム
33.
パイプライン演算子
34.
Pythonとの連携
35.
パッケージシステム
36.
ジェネレータ
37.
Ergの文法一覧 (ver 0.1.0, provisional)
38.
索引
39.
クイックツアー
Light (default)
Rust
Coal
Navy
Ayu
The Erg Book
高度な型
以降は更に高度な型システムを解説します。入門者の方はすべての項を読まなくても問題ありません。