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

「隐式参数擦除」乃化「表达式」而「表达式」也。
「隐式参数擦除」者会「式」而
  鉴「式」而
    有（「式节点」于「函数调用」于（「缀」于「函数」于「参数节点们」））
    则（递归虑「处理参数节点」其化「表达式」而化
        （「列」于「表达式」）而「表达式」者
          会「当前函数」而会「剩余参数节点」而
            鉴「剩余参数节点」而
              有「罄」则「当前函数」
              或有（「缀」于「当前参数节点」于「后参数节点们」）则（鉴「当前参数节点」而
                有（「式节点」于（「参数节点」于「隐式」）于「忽略参数们」）则
                  「处理参数节点」于「当前函数」于「后参数节点们」
                或有（「式节点」于（「参数节点」于「忽略形」）于「参数们」）
                则（虑「后当前函数」者（「从左折叠」授以「表达式」授以「表达式」）
                  于（会「参数」而会
                  「已有函数」而
                  「分组函数调用式」于（「多参数形」于「一」）于「已有函数」
                    于（（「列」【（「隐式参数擦除」于「参数」）】）））于「当前函数」于
                    「参数们」而
                    「处理参数节点」于「后当前函数」于
                      「后参数节点们」
                ）
                或有「其他」则「发生事故」于『函数调用脊不是参数节点』
              ）
            而
            「处理参数节点」
                  于（「隐式参数擦除」于「函数」）于
                  「参数节点们」
    ）
    或有（「式节点」于（「拉姆达抽象」于「隐式」）于（（「列」【「绑定体」】）））则（「解构抽象并继续」于「绑定体」
      于（会「绑定名」而会「体」而
        虑「后体」者「隐式参数擦除」于「体」而
        若（「自由变量在式出现」于「绑定名」于「后体」）
        则
          （「发生事故」于『隐式参数擦除后绑定变量仍然存在：』附「绑定名」附『；表达式：』附（「表达式表示」于「后体」））
        否则
          「后体」
      ））
    或有（「式节点」于（「拉姆达抽象」于（「多参数形」于「个数」））于（（「列」【「绑定体」】）））则
      「式节点」于（「拉姆达抽象」于（「多参数形」于「个数」））
        于（（「列」【（「隐式参数擦除」于「绑定体」）】））
    或有「其他」则「表达式统一操作」于「隐式参数擦除」于「其他」
也。

「隐式参数擦除顶层」乃化「文件定义列」而「文件定义列」也。
「隐式参数擦除顶层」者会「定义列」而
  （「态射」）于
    「定义列」于（会「定义」而
      （「文件定义列项名」于「定义」）与
      （「文件定义列项公开性」于「定义」）与
      （「隐式参数擦除」于（「文件定义列项表达式」于「定义」）））
也。
