寻观「标准库」之书。

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

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

寻观「编译器核心」之「编译步骤」之「求值正则变换」之「无类型正则变换」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「续延传递变换」之书。
寻观「编译器核心」之「编译步骤」之「优化」之「树组优化框架」之书。

寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「正则无副作用消除」之书。

「进行无类型求值正则变换单个」乃化「表达式」而「表达式」也。
「进行无类型求值正则变换单个」者会「式」而
  虑「无」者「编译调试打印行」于『anf_info』于（会「无」而『开始处理：』附（「表达式表示」于「式」））而
  虑「无」者「编译调试打印行」于『anf_progress』于（会「无」而『开始处理』）而
  虑「结果」者「求值正则变换」于「式」于「可无」而
  虑「无」者「编译调试打印行」于『anf_info』于（会「无」而『求值正则完成：』附（「表达式表示」于「结果」））而
  虑「无」者「编译调试打印行」于『anf_info_2』于（会「无」而『求值正则完成：』附（「抽象语法友好表示顶层」于「结果」））
  而
  虑「无」者「编译调试打印行」于『anf_progress』于（会「无」而『求值正则完成』）而
  虑「结果」者（若「读引用」于「执行未使用式消除优化」则「正则无副作用消除顶层」于「结果」否则「结果」）而
  虑「无」者「编译调试打印行」于『anf_info』于（会「无」而『正则无副作用消除完成：』附（「表达式表示」于「结果」））而
  虑「无」者「编译调试打印行」于『anf_info_2』于（会「无」而『正则无副作用消除完成：』附（「抽象语法友好表示顶层」于
        「结果」
    ））而
  虑「无」者「编译调试打印行」于『anf_progress』于（会「无」而『正则无副作用消除完成』）而
  虑「结果」者「续延传递变换」于「结果」而
  虑「无」者「编译调试打印行」于『anf_info』于（会「无」而『续延传递变换后结果：』附（「表达式表示」于「结果」））
  而
  虑「无」者「编译调试打印行」于『anf_progress』于（会「无」而『续延传递变换后结果』）而
  虑「无」者
    （若（「读引用」于「执行自我完整性检查」）
    则
      （虑「结果自由变量」者「读取式自由变量」于「结果」而
        虑「无」者（若（「大于」于（「长度」于「结果自由变量」）于「零」）则「发生事故」于
          『无类型求值正则变换中出现了不应该出现的自由变量，请检查前序操作：』
          附（「间合」于『，』于（「结果自由变量」））
        否则
          「元」
        ）而
        「元」
      ）
    否则
      「元」
    ）而
  「结果」也。

「进行无类型求值正则变换顶层」乃化「字符串」而化「表达式树组」而「表达式树组」也。
「进行无类型求值正则变换顶层」者会「全局路径」而会「组」而
  「打表态射」于「组」于（会「元素」而
    （「元素」中「零」）与（「元素」中「一」）与（（「处理闭包函数定义」
          于（「元素」中「二」）于（会「境」而会「函数体」而「进行无类型求值正则变换单个」于「函数体」））））也。
