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
。请看那里