# 概要

<!--
このファイルは自動生成されます。これを編集したい場合は`doc/scripts/sync_to_summary.py`を編集してください。
このファイルはThe 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_array.md)
- [辞書](./11_dict.md)
- [添字アクセス](./12_container_ownership.md)
- [タプル](./13_tuple.md)
- [レコード](./14_record.md)
- [セット](./15_set.md)
- [型](./16_type.md)
  - [Ergの型システム](./type/01_type_system.md)
  - [型に関する基本的な文法](./type/02_basic.md)
  - [トレイト](./type/03_trait.md)
  - [クラス](./type/04_class.md)
  - [継承](./type/05_inheritance.md)
  - [記名的部分型 vs. 構造的部分型](./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)
    - [一般化代数的データ型](./type/advanced/GADTs.md)
    - [デフォルト引数付きの関数型](./type/advanced/default_param.md)
    - [型消去](./type/advanced/erasure.md)
    - [存在型](./type/advanced/existential.md)
    - [キーワード引数付き関数型](./type/advanced/keyword_param.md)
    - [カインド](./type/advanced/kind.md)
    - [マーカートレイト](./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)
    - [特殊型](./type/advanced/special.md)
    - [Typeof, classof](./type/advanced/typeof.md)
    - [変性](./type/advanced/variance.md)
    - [型拡大](./type/advanced/widening.md)
- [型の絞り込み](./17_narrowing.md)
- [イテレータ](./18_iterator.md)
- [可変性](./19_mutability.md)
- [所有権システム](./20_ownership.md)
- [可視性](./21_visibility.md)
- [命名規則](./22_naming_rule.md)
- [無名関数](./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の文法一覧 (ver 0.1.0, provisional)](./grammar.md)
- [索引](./indexes.md)
- [クイックツアー](./quick_tour.md)
