寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「编译器核心」之「编译数据」之「操作符」之「操作符数据结构」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「命名环境术」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「检查后定义处理」之书。

寻观「编译器核心」之「编译步骤」之「总体过程」之「编译文件缓存工具」之书。

寻观「编译器核心」之「编译步骤」之「类型标注擦除」之「类型擦除」之书。
寻观「编译器核心」之「编译步骤」之「类型标注擦除」之「模式匹配转换处理」之书。
寻观「编译器核心」之「编译步骤」之「类型标注擦除」之「当前续延调用转换」之书。

「转换擦除步骤」乃
  化「字符串」而
  化「字符串」而
  化「文件定义列」而
  「文件定义列」
也。
「转换擦除步骤」者会「路径」而会「步骤」而会「式」而
  虑「检查后定义列」者「读检查后定义」于「路径」而
  递归虑「处理」其（化「整数」而化「命名环境」而化「文件定义列」而化「文件定义列」而「文件定义列」）者（会「序数」而
  会
    「境」而会「剩余检查后定义」而会「剩余定义」而（
      鉴「剩余定义」而
        有「罄」则「罄」
        或有（「缀」于（「定义名」与「定义公开性」与「定义式」）于「后定义」）则（
          鉴「剩余检查后定义」而
            有（「缀」于（「检查后定义名」与「检查后公开性」与「定义项」）于「后检查后定义」）
            则（
              虑「无」者
                （
                  若（「串相等」于「定义名」于「检查后定义名」）则
                    「元」
                  否则
                    「发生事故」
                      于『擦除时定义和检查后定义顺序不一致：』附「定义名」附『 != 』
                      附「检查后定义名」
                ）
              而
              虑「定义类」者
                （（「检查后定义项类及物」于「路径」于「定义名」于「序数」于「定义项」）中「零」）
              而
              虑「定义式」者
                （
                  鉴「步骤」而
                    有『模式展开』则
                      「模式匹配转换」于「境」于「定义式」
                    或有『类型擦除』则
                      「类型擦除」于「境」于「定义式」
                    或有『续延调用展开』则
                      「当前续延调用转换」于「定义式」
                    或有「未识别步骤」则
                      「发生事故」于『未知擦除步骤』
                ）
              而
              虑「后境」者
                「添加声明不改变名」
                  于『擦除顶层』于「境」于
                    「定义名」于「定义类」
              而
              「缀」
                于（「定义名」与「定义公开性」与「定义式」）
                于（「处理」于（「加」于「序数」于「一」）于「后境」于「后检查后定义」于「后定义」）
            ）
            或有「罄」则「发生事故」
              于『擦除时检查后定义列短于定义列：』附「定义名」
        ）
    ））
  而
  虑「结果」者
    「处理」于「零」于「默认命名环境」于「检查后定义列」于「式」
  而
  「结果」
也。

「：文言：三术次行，各可独立。汉语：保留原有复合入口，三个子变换使用同一份已检查定义环境。：」
「转换擦除顶层」乃化「字符串」而化「文件定义列」而「文件定义列」也。
「转换擦除顶层」者会「路径」而会「式」而
  虑「模式后」者「转换擦除步骤」于「路径」于『模式展开』于「式」而
  虑「擦除后」者「转换擦除步骤」于「路径」于『类型擦除』于「模式后」而
  「转换擦除步骤」于「路径」于『续延调用展开』于「擦除后」
也。
