寻观「标准库」之书。

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

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

寻观「编译器核心」之「编译步骤」之「优化」之「前函数续延化变换」之书。
寻观「编译器核心」之「编译步骤」之「优化」之「尾调用优化」之书。
寻观「编译器核心」之「编译步骤」之「优化」之「栈分配优化」之书。
寻观「编译器核心」之「编译步骤」之「优化」之「结构顶层绑定优化」之书。
寻观「编译器核心」之「编译步骤」之「优化」之「函数参数优化」之书。

「优化调试信息打印」乃化（化「有」而「字符串」）而「有」也。
「优化调试信息打印」者会「字符串函数」而
  若（「读引用」于「打印优化调试信息」）则
    （「非常粗略调试打印行」于「字符串函数」）
  否则
    「元」也。

「路径不应当优化」乃化「字符串」而「爻」也。
「路径不应当优化」者会「路径」而
  「或者」于（「串结尾是它吗」于『标准库/语言核心/异常。豫』于「路径」）
    于（「串结尾是它吗」于『标准库/语言核心/续延。豫』于「路径」）也。

「所有跨文件优化后优化步骤」乃化「字符串」而化「表达式」而「表达式」也。
「所有跨文件优化后优化步骤」者会「路径」而会「式」而
  虑「式」者「函数续延化变换顶层」于「式」而
  虑「式」者（若「读引用」于「执行函数参数优化」则「函数参数优化顶层」于「路径」于「式」否则「式」）而
  「式」
也。

「所有跨文件前优化步骤」乃化「字符串」而化「表达式」而「表达式」也。
「所有跨文件前优化步骤」者会「路径」而会「式」而
  虑「式」者「结构顶层绑定优化顶层」于「路径」于「式」而
  「式」
也。

「所有闭包转换前优化步骤」乃化「字符串」而化「表达式」而「表达式」也。
「所有闭包转换前优化步骤」者会「路径」而会「式」而
  若（「等」于（「读引用」于「执行优化总轮数」）于「零」）
  则
    「式」
  否则
    （若（「路径不应当优化」于「路径」）
    则
      「式」
    否则
      （虑「式」者（若（「读引用」于「执行尾调用优化」）则（「尾调用优化顶层」于「式」）否则「式」）而
        虑「式」者（若（「读引用」于「执行栈分配优化」）则（「栈分配优化顶层」于「路径」于「式」）否则「式」）而
        「式」
      ））
也。
