寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。

。
寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。

寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「命名环境术」之书。

寻观「编译器核心」之「编译数据」之「操作符」之「操作符数据结构」之书。

「类型擦除」乃
  化「命名环境」而
  化「表达式」而
  「表达式」 「：标注后的类和物：」
也。
「类型擦除」者会「境」而会「式」而
  虑「绑定对象类型擦除」者
    （化「命名环境」而
    化「表达式」 「：对象（是一个绑定）：」而
    化「表达式」 「：绑定类型：」而
    「表达式」 「：检查过的对象（是一个绑定）：」
    也
    会「境」而
      会「绑定物」而会「绑定类型」而
        （
          虑「绑名」者「获取可能绑定名」于「绑定物」而
          虑「新绑名及新境」者
            「添加声明」于「境」于「绑名」于「绑定类型」而
            虑「新绑名」者（「新绑名及新境」）中「零」而
            虑「绑体」者
              「式替换」
                于（「自由变量」于（「新绑名及新境」）中「零」）
                于（「绑定物」）而
                虑「绑定体物」者
                  「类型擦除」于（「新绑名及新境」中「一」）于「绑体」而
                「：TODO 验证类型擦除中没有绑定名：」
          （「进行抽象」于「新绑名」于（「绑定体物」））
        ）
    ）而
    虑「无」者
      「详细调试打印行」于（会「无」而『类型擦除中』附（「表达式表示」于「式」））而
      虑「处理」者
        （「尝试运行」授以「表达式」）
        于（会「无」而
        虑「递归处理」者
          （遇「表达式」者「甲」而（「类型擦除」于「境」于「甲」））而
      鉴「式」而
        有（「式节点」于「函数调用」于「项们」）
        则（
          虑「处理应用项」者
            （化「表达式」而「表达式」也
            会「项」而鉴「项」而
              有（「式节点」于（「参数节点」于「形」）于「参数们」）
              则（
                虑「后形」者
                  （鉴「形」而
                  有「隐式」则「隐式」
                  或有「其他形」则「多参数形」于「一」）
                而
                「参数节点式」
                  于「后形」
                  于（（「态射」）于「参数们」于「递归处理」）
              ）
              或有「其他」则（「递归处理」于「项」）
            ）
          而
          「式节点」于「函数调用」
          于（（「态射」）于「项们」于「处理应用项」）
        ）
          「： 或有（式节点于（函数调用续延于「标签名」）于「参数」衔【】）则
                    （
                        虑后参数者（「递归处理」于参数）而
                            （式节点于（函数调用续延于标签名）于（【后参数】））
                    ） ：」
          「： 或有（式节点于（结构投影带序数于串于「序数」）于「前式」衔【】）则
                    （
                        虑前式物者「类型擦除」于境于前式而
                        （式节点于（结构投影带序数于串于序数）于（【前式物】））
                    ） ：」
        或有（「自由变量」于「名」）则
          （「式」）
        或有（「式节点」于（「文件引用节点」于「文件名」）于「罄」）则
          （「式节点」于「空值节点」于「罄」）
            「： 或有（式节点于（展开后内建节点于量）于「参数」）则
                    （式） ：」
        或有（「式节点」于（「文件定义引用节点」于「文件名」于「投影名」于「序数」）于「罄」）则
          「式」
        或有（「式节点」于（「结构投影带序数」于「投影名」于「序数」）于（（「列」【「结构」】）））则
          （「发生事故」于『类型擦除阶段不应再出现结构投影带序数：』附「投影名」）
        或有（「式节点」于（「展开后内建节点」于「量」）于「参数们」）
        则（
          虑「空式」者（「式节点」于「空值节点」于「罄」）而
          鉴「量」而
            有「内建类型字符串」则「空式」
            或有「内建类型整数」则「空式」
            或有「内建类型小数」则「空式」
            或有「内建类型动态分类值」则「空式」
            或有「内建类型有」则「空式」
            或有「内建类型爻」则「空式」
            或有「内建类型元类型」则「空式」

            或有「其他」则（「表达式」也
              虑「新实现」者
                （「式节点」
                  于（「展开后内建节点」于「量」）
                  于（（「态射」）于「参数们」于（会「参式」而「类型擦除」于「境」于「参式」）））
              而
              鉴「量」而
                有「内建爻阳」则「新实现」
                或有「内建爻阴」则「新实现」
                或有「内建有元」则「新实现」
                或有「内建函数整数相等」则「新实现」
                或有「内建函数整数大于」则「新实现」
                或有「内建函数整数减」则「新实现」
                或有「其他量」则
                  「发生事故」于『未有213：』附（「表达式表示」于（「式」）））
        ）
        或有（「式节点」于（「内建节点」于「量」）于「罄」）则（
          鉴「量」而
            有「内建类型字符串」则
              「式节点」于「空值节点」于「罄」
            或有「内建类型整数」则
              「式节点」于「空值节点」于「罄」
            或有「内建类型小数」则
              「式节点」于「空值节点」于「罄」
            或有「内建类型动态分类值」则
              「式节点」于「空值节点」于「罄」
            或有「内建类型有」则
              「式节点」于「空值节点」于「罄」
            或有「内建类型爻」则
              「式节点」于「空值节点」于「罄」
            或有「内建类型元类型」则
              「式节点」于「空值节点」于「罄」
            或有「其他」则「式」
        ）
        或有（「式节点」于（「续延调用节点」）于（（「列」【「续参」】）））
        则（
          虑「后体物」者
            「绑定对象类型擦除」
              于「境」于
              「续参」
                于（「式节点」于「待定节点」于「罄」）
          而
          （「式节点」于（「续延调用节点」）于（（「列」【（「后体物」）】）））
        ）
        或有（「式节点」于（「拉姆达抽象」于「拉形」）于（（「列」【「拉参」】）））
        则（
          虑「后体物」者
            「绑定对象类型擦除」
              于
              「境」于「拉参」
              于（「式节点」于「待定节点」于「罄」）而
              虑「后拉形」者
                （鉴「拉形」而
                有「隐式」则「隐式」
                或有「其他形」则「多参数形」于「一」）
              而
              （「式节点」于（「拉姆达抽象」于「后拉形」）于（（「列」【（「后体物」）】）））
        ）
        或有（「式节点」于（「拉姆达抽象续延」于「标签名」）于（（「列」【「拉参」】）））
        则（
          虑「后体物」者
            「绑定对象类型擦除」
              于
              「境」于「拉参」
              于（「式节点」于「待定节点」于「罄」）
          而
          （「式节点」于（「拉姆达抽象续延」于「标签名」）于（（「列」【（「后体物」）】）））
        ）
        或有（「式节点」于（「拉姆达抽象带类型」于「拉形」）于（（「列」【「原抽象类型」，「拉参」】）））
        则
          「：TODO：应该有很多可能性：」
          （
            虑「后体物」者
              「绑定对象类型擦除」于「境」于「拉参」于「原抽象类型」而
              虑「后拉形」者
                （鉴「拉形」而
                有「隐式」则「隐式」
                或有「其他形」则「多参数形」于「一」）
              而
              （「式节点」于（「拉姆达抽象」于「后拉形」）于（（「列」【（「后体物」）】）））
          ）
        或有（「式节点」于（「爻分支节点」）于（「列」【「爻式」，「阳式」，「阴式」】））
        则（
          虑「后爻式」者（「类型擦除」于「境」于「爻式」）而
          虑「后阳式」者（「类型擦除」于「境」于「阳式」）而
          虑「后阴式」者（「类型擦除」于「境」于「阴式」）而
          （「式节点」于（「爻分支节点」）于（「列」【「后爻式」，「后阳式」，「后阴式」】））
        ）
        或有（「式节点」于（「整数节点」于「数」）于「罄」）则
          （「式节点」于（「整数节点」于「数」）于「罄」）
        或有（「式节点」于（「小数节点」于「数」于「整小部」）于「罄」）则
          （「式节点」于（「小数节点」于「数」于「整小部」）于「罄」）
        或有（「式节点」于（「字符串节点」于「串」）于「罄」）则
          （「式节点」于（「字符串节点」于「串」）于「罄」）
        或有（「式节点」于（「元组类型节点」）于「类型们」）则
          （「式节点」于（「擦除后类型节点」）于「罄」）
        或有（「式节点」于「内联虑」于（（「列」【「定义式」，「尾式」】）））
        则（
          虑「后定义式」者（「类型擦除」于「境」于「定义式」）而
          虑「后尾式物」者
            「绑定对象类型擦除」
              于「境」于「尾式」
              于（「式节点」于「待定节点」于「罄」）
          而
          （「式节点」于「内联虑」于（（「列」【（「后定义式」），（「后尾式物」）】）））
        ）
        或有（「式节点」于「内联虑带类型」于（「列」【「定义类」，「定义式」，「尾式」】））
        则（
          虑「后定义式」者（「类型擦除」于「境」于「定义式」）而
          虑「后尾式物」者
            「绑定对象类型擦除」于「境」于「尾式」于「定义类」
          而
          （「式节点」于「内联虑」于（（「列」【（「后定义式」），（「后尾式物」）】）））
        ）
        或有（「式节点」于（「递归节点」）于（（「列」【「递归定义域」，「递归值域」】）））
        则（
          虑「后递归值域」者
            （「绑定对象类型擦除」于「境」于「递归值域」于「递归定义域」）
          而
          （「式节点」于（「递归节点」）于（（「列」【（「式节点」于「擦除后类型节点」于「罄」），「后递归值域」】）））
        ）
        或有（「式节点」于「模式匹配」于（「缀」于「分析式」于「分支们」））
        则（
          虑「后分析式物」者「类型擦除」于「境」于
            「分析式」而
            虑「后分支们式」者
              （「态射」授以「表达式」授以「表达式」）
              于
                「分支们」
                  于（会「分支」而（「类型擦除」于「境」于「分支」））
            而
            （「式节点」于（「模式匹配」）于（「缀」于（「后分析式物」）于（「后分支们式」）））
        ）
          「： 或有（式节点于（模式匹配分支）于「模式」衔「结果」衔【】）则
                    （
                        虑新境者「添加模式匹配声明」于境于模式而
                        虑分支物者（「类型擦除」于新境于结果）而
                        （（式节点于（模式匹配分支）于（模式）衔（分支物）衔【】））
                    ） ：」
        或有（「式节点」于（「常量模式匹配分支」）于（（「列」【「常量」，「结果」】）））
        则（「式节点」于（「常量模式匹配分支」）于（（「列」【「常量」，（「类型擦除」于「境」于「结果」）】）））
        或有（「式节点」于（「变量模式匹配分支」）于（（「列」【「结果」】）））则（「式节点」
          于（「变量模式匹配分支」）
          于（（「列」【（「绑定对象类型擦除」于「境」于「结果」于（「式节点」于「待定节点」于「罄」））】）））
        或有（「式节点」于（「唯一构造器模式匹配分支」于「序数」）于（（「列」【「结果」】）））则（「式节点」
          于（「唯一构造器模式匹配分支」于「序数」）
          于（（「列」【（「绑定对象类型擦除」于「境」于「结果」于（「式节点」于「待定节点」于「罄」））】）））
        或有（「式节点」于（「元组构造节点」）于「元参」）
        则（
          虑「后式」者
            （「式节点」
              于（「元组构造节点」）
              于（（「态射」）于「元参」于（会「元组项」而「类型擦除」于「境」于「元组项」）））
          而
          「后式」
        ）
        或有（「式节点」于（「元组解构节点」于「序数」）于（（「列」【「元组」】）））
        则（
          虑「后元组式」者「类型擦除」于
            「境」于「元组」
          而
          （「式节点」于（「元组解构节点」于「序数」）于（（「列」【「后元组式」】）））
        ）
        或有（「式节点」
          于「顺序执行节点」
          于（（「列」【（「式节点」于（「拉姆达抽象续延」于「标签名」）于（（「列」【「体」】））），「尾式」】）））
          则（
            虑「后体」者
              （「绑定对象类型擦除」于「境」于「体」于（「式节点」于「待定节点」于「罄」））而
              虑「后尾式」者（「类型擦除」于「境」于「尾式」）而（「式节点」
                于
                  「顺序执行节点」
                    于（（「列」【
                      （「式节点」于（「拉姆达抽象续延」于「标签名」）于（（「列」【（「后体」）】））），
                      「后尾式」
                    】）））
          ）
        或有（「式节点」于「顺序执行节点」于（（「列」【「式甲」，「式乙」】）））
        则（
          虑「后式甲式」者
            「类型擦除」于「境」于
              「式甲」而
              虑「后式乙式」者「类型擦除」于「境」于「式乙」而（「式节点」
                于
                「内联虑」
                  于（（「列」【（「后式甲式」），（「进行无名抽象」于（「后式乙式」））】）））
        ）
        或有（「式节点」于（「唯一构造器序数元组节点」于「序数」于「元组长」）于（（「列」【「元组式」】）））则（（「式节点」
          于（「唯一构造器序数元组节点」于「序数」于「元组长」）
          于（（「列」【（「递归处理」于「元组式」）】）））
        ）
        或有（「式节点」于（「唯一构造器序数元组投影序数节点」）于（（「列」【「构造式」】）））则
          （（「式节点」于（「唯一构造器序数元组投影序数节点」）于（（「列」【（「递归处理」于「构造式」）】））））
        或有（「式节点」于（「唯一构造器序数元组投影元组节点」）于（（「列」【「构造式」】）））则
          （（「式节点」于（「唯一构造器序数元组投影元组节点」）于（（「列」【（「递归处理」于「构造式」）】））））
        或有（「式节点」于（「文件引用节点」于「新文件名」）于「罄」）则
          （（「式节点」于（「文件引用节点」于「新文件名」）于「罄」））
        或有（「式节点」于（「解析后外部调用节点无类型」于「串」）于「参」）则
          （（「式节点」于（「解析后外部调用节点无类型」于「串」）于（（「态射」）于「参」于「递归处理」）））
        或有（「式节点」于（「解析后外部调用节点带类型」于「串」）于（「缀」于「类」于「参」））则
          （（「式节点」于（「解析后外部调用节点无类型」于「串」）于（（「态射」）于「参」于「递归处理」）））
        或有（「式节点」于「箭头类型节点」于「参」）则
          （「式节点」于（「擦除后类型节点」）于「罄」）
        或有（「式节点」于（「隐式派类型节点」于「忽略参数个数」）于「参」）则
          （「式节点」于（「擦除后类型节点」）于「罄」）
        或有「其他」则
          「发生事故」于『未有类型擦除126：』附（「表达式表示」于「式」））
          于（会「异常」而「发生事故」于「异常」附『「：换行：」在类型擦除』附（「表达式表示」于「式」）附『时』）
            而

            「处理」
也。

「类型擦除顶层」乃化「表达式」而「表达式」也。
「类型擦除顶层」者会「式」而
  「类型擦除」于「罄」于「式」
也。
