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

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

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

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