寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「编译器核心」之「编译数据」之「编译配置」之「全局配置」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「无类型正则变换」之书。
寻观「编译器核心」之「编译步骤」之「优化」之「树组优化框架」之书。
寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「正则无副作用消除」之书。

「映射正则函数体」乃
  化（化「表达式」而「表达式」）而
  化「表达式树组」而
  「表达式树组」
也。
「映射正则函数体」者会「变换」而会「组」而
  「打表态射」
    于「组」
    于（会「项」而（「项」中「零」）与（「项」中「一」）
      与
      （「处理闭包函数定义」于（「项」中「二」）于（会「境」而会「体」而「变换」于「体」）））
也。

「纯求值正则顶层」乃化「表达式树组」而「表达式树组」也。
「纯求值正则顶层」者会「组」而
  「映射正则函数体」于（会「式」而「求值正则变换」于「式」于「可无」）于「组」
也。

「正则消冗顶层」乃化「表达式树组」而「表达式树组」也。
「正则消冗顶层」者会「组」而
  若「读引用」于「执行未使用式消除优化」则
    「映射正则函数体」于「正则无副作用消除顶层」于「组」
  否则
    「组」
也。
