「：用于优化中生成的有固定结构的非正则式的正则变换：」
寻观「标准库」之书。

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

寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。
寻观「编译器核心」之「编译数据」之「编译配置」之「全局配置」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「无类型正则变换」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「正则形式统一变换」之书。

「：CPS变换：」
「：续延传递主要把函数调用变成续延形式：」

「简单返回」乃化「表达式」 「：当前简单式：」而
  「表达式」也。
「简单返回」者会「式」而
  「简单内联虑变换」于「式」于「可无」也。

「续延传递变换」乃化「表达式」而「表达式」也。
「续延传递变换」者会「式」而
  虑「结果」者
    （虑「无」者「编译调试打印行」于『cps_info』于（会「无」而『正在续延传递变换：』附（「表达式表示」于「式」））而
      鉴「式」而
        有（「式节点」于「内联虑」于（（「列」【「实现」，「下个」】）））则（（鉴「实现」而
            有（「式节点」于「函数调用」于（（「列」【「忽略函数」，（「式节点」于（「参数节点」于（「多参数形」于「个数」））于「忽略参数们」）】）））
              则（虑「结果」者
                    「创建合并点」于（「可有」授以（化「字符串」而「表达式」）
                      于（会「名」而「续延传递变换」于（「式替换」于（「自由变量」于「名」）于「下个」）））
                      于（会「返回」而「简单内联虑变换」于「实现」于「返回」）而
                  虑「无」者「编译调试打印行」于『cps_info』
                  于（会「无」而『续延传递变换：将』附（「表达式表示」于「实现」）附『，转换为』附（「表达式表示」于
                    「结果」
                  ））而
                  「结果」
              ）
            或有「其他」则
              （（「正则形式统一变换」于（「续延传递变换」）于「式」））））
        或有「其他」则（「正则形式统一变换」于（「续延传递变换」）于「式」））
  而
  虑「无」者「编译调试打印行」于『cps_info』于（会「无」而『续延传递变换，输入：』附（「表达式表示」于「式」）附
        『输出：』附（「表达式表示」于「式」））而
  「结果」
也。
