寻观「标准库」之书。

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

寻观「编译器核心」之「编译数据」之「编译配置」之「全局配置」之书。
寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。
寻观「编译器核心」之「编译数据」之「操作符」之「操作符数据结构」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「命名环境术」之书。

寻观「编译器核心」之「编译步骤」之「优化」之「前优化入口」之书。

寻观「编译器核心」之「编译步骤」之「总体过程」之「编译文件缓存工具」之书。
寻观「编译器核心」之「编译步骤」之「优化」之「跨文件优化」之「去柯里化」之书。
寻观「编译器核心」之「编译步骤」之「优化」之「跨文件优化」之「常量内联」之书。

「所有跨文件优化步骤」乃化「字符串」而化「文件定义列」而「文件定义列」也。
「所有跨文件优化步骤」者会「路径」而会「式」而
  虑「无」者「写引用」于「本卷内联路径」于「路径」而
  虑「无」者「写引用」于「本卷内联候选」于「罄」而
  若（「等」于（「读引用」于「执行优化总轮数」）于「零」）则
    「式」
  否则
    （
      若（「路径不应当优化」于「路径」）则
        「式」
      否则
        （
          递归虑「优化定义列」其化「命名环境」而化「文件定义列」而「文件定义列」者
            会「境」而会「定义列」而
              鉴「定义列」而
                有「罄」则「罄」
                或有（「缀」于（「定义名」与「定义公开性」与「原定义式」）于「后定义列」）
                则（
                  虑「定义式」者
                    「所有跨文件前优化步骤」于
                      「路径」于「原定义式」
                  而
                  虑「定义式」者
                    （若（「读引用」于「执行去柯里化优化」）则（「去柯里化顶层」于「路径」于「定义式」）
                      否则
                        「定义式」）
                  而
                  虑「定义式」者
                    （
                      若（「读引用」于「执行函数内联优化」）则（「常量内联带环境顶层」于「路径」于「境」于「定义式」）
                      否则
                        「定义式」
                    ）
                  而
                  虑「定义式」者
                    「所有跨文件优化后优化步骤」于「路径」于
                      「定义式」
                  而
                  虑「无」者
                    「写引用」
                      于「本卷内联候选」
                      于（「附加」
                        于（「原语内联候选」于（「列」【「定义名」与「定义公开性」与「定义式」】））
                        于（「读引用」于「本卷内联候选」））
                  而
                  虑「后境」者
                    「添加声明不改变名」
                      于『跨文件优化』于「境」于
                        「定义名」于「定义式」
                  而
                  「文件定义列前加」
                    于「定义名」
                    于
                    「定义式」
                      于（「优化定义列」于「后境」于「后定义列」）
                ）
          而
          「优化定义列」于「罄」于「式」
        ）
    ）
也。
