1.
基本
2.
字面量
3.
變量和常量
4.
聲明
5.
函數
6.
內置函數
7.
運算符
8.
副作用
9.
程序
10.
內置程序
11.
數組
12.
字典
13.
下標
14.
元組
15.
記錄(Record)
16.
Set
17.
類型
17.1.
Erg 的類型系統
17.2.
基本語法
17.3.
Trait
17.4.
Class
17.5.
繼承
17.6.
NST 與 SST
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.
廣義代數數據類型 (GADT)
17.21.2.
默認參數
17.21.3.
類型擦除
17.21.4.
存在類型
17.21.5.
關鍵字參數
17.21.6.
Kind
17.21.7.
標記Trait
17.21.8.
可變結構類型
17.21.9.
新類型模式
17.21.10.
重載
17.21.11.
幻影類
17.21.12.
投影類型
17.21.13.
量化依賴類型
17.21.14.
共享引用
17.21.15.
特殊類型(Self、Super)
17.21.16.
Typeof
17.21.17.
變性(逆變與協變)
17.21.18.
Widening
18.
迭代器
19.
可變性
20.
所有權
21.
可見性
22.
命名規定
23.
Lambda
24.
子程序
25.
閉包
26.
模塊
27.
對象系統
28.
模式匹配
29.
推導式
30.
擴展語法
31.
裝飾器
32.
錯誤處理系統
33.
管道運算符
34.
與 Python 集成
35.
包系統
36.
生成器
37.
Erg 的語法(版本 0.1.0, 臨時)
38.
索引
39.
快速瀏覽
Light (default)
Rust
Coal
Navy
Ayu
The Erg Book
類型
類型是 Erg 中一個非常重要的特性,所以我們有一個
dedicated section
。請看那里