寻观「标准库」之书。

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

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

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

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

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