# 概要

<!--
该文件是自动生成的。如果你想编辑这个，编辑 `doc/scripts/sync_to_summary.py`
此文件用于生成Erg Book。不要添加翻译徽章等
-->

- [基本](./00_basic.md)
- [字面量](./01_literal.md)
- [变量和常量](./02_name.md)
- [声明](./03_declaration.md)
- [函数](./04_function.md)
- [内置函数](./05_builtin_funcs.md)
- [运算符](./06_operator.md)
- [副作用](./07_side_effect.md)
- [程序](./08_procedure.md)
- [内置程序](./09_builtin_procs.md)
- [数组](./10_list.md)
- [字典](./11_dict.md)
- [下标](./12_container_ownership.md)
- [元组](./13_tuple.md)
- [记录(Record)](./14_record.md)
- [Set](./15_set.md)
- [类型](./16_type.md)
  - [Erg 的类型系统](./type/01_type_system.md)
  - [基本语法](./type/02_basic.md)
  - [Trait](./type/03_trait.md)
  - [Class](./type/04_class.md)
  - [继承](./type/05_inheritance.md)
  - [NST 与 SST](./type/06_nst_vs_sst.md)
  - [补丁](./type/07_patch.md)
  - [值类型](./type/08_value.md)
  - [属性类型](./type/09_attributive.md)
  - [区间类型](./type/10_interval.md)
  - [枚举类型](./type/11_enum.md)
  - [细化类型](./type/12_refinement.md)
  - [代数类型](./type/13_algebraic.md)
  - [依赖类型](./type/14_dependent.md)
  - [类型变量](./type/15_quantified.md)
  - [子类型](./type/16_subtyping.md)
  - [类型转换](./type/17_type_casting.md)
  - [可变类型](./type/18_mut.md)
  - [类型绑定](./type/19_bound.md)
  - [复合型](./type/20_compound.md)
  - [高级类型](./type/advanced.md)
    - [广义代数数据类型 (GADT)](./type/advanced/GADTs.md)
    - [默认参数](./type/advanced/default_param.md)
    - [类型擦除](./type/advanced/erasure.md)
    - [存在类型](./type/advanced/existential.md)
    - [关键字参数](./type/advanced/keyword_param.md)
    - [Kind](./type/advanced/kind.md)
    - [标记Trait](./type/advanced/marker_trait.md)
    - [可变结构类型](./type/advanced/mut_struct.md)
    - [新类型模式](./type/advanced/newtype.md)
    - [重载](./type/advanced/overloading.md)
    - [幻影类](./type/advanced/phantom.md)
    - [投影类型](./type/advanced/projection.md)
    - [量化依赖类型](./type/advanced/quantified_dependent.md)
    - [共享引用](./type/advanced/shared.md)
    - [特殊类型(Self、Super)](./type/advanced/special.md)
    - [Typeof](./type/advanced/typeof.md)
    - [变性(逆变与协变)](./type/advanced/variance.md)
    - [Widening](./type/advanced/widening.md)
- [Type Narrowing](./17_narrowing.md)
- [迭代器](./18_iterator.md)
- [可变性](./19_mutability.md)
- [所有权](./20_ownership.md)
- [可见性](./21_visibility.md)
- [命名规定](./22_naming_rule.md)
- [Lambda](./23_lambda.md)
- [子程序](./24_subroutine.md)
- [闭包](./25_closure.md)
- [模块](./26_module.md)
- [对象系统](./27_object_system.md)
- [模式匹配](./28_pattern_matching.md)
- [推导式](./29_comprehension.md)
- [扩展语法](./30_spread_syntax.md)
- [装饰器](./31_decorator.md)
- [错误处理系统](./32_error_handling.md)
- [管道运算符](./33_pipeline.md)
- [与 Python 集成](./34_integration_with_Python.md)
- [包系统](./35_package_system.md)
- [生成器](./36_generator.md)
- [Erg 的语法(版本 0.1.0, 临时)](./grammar.md)
- [索引](./indexes.md)
- [快速浏览](./quick_tour.md)
