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

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

寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「命名环境术」之书。
寻观「编译器核心」之「顺序标识符」之「顺序标识符」之书。

「正则无副作用消除」乃
  化「表达式」而
  「表达式」 「：标注后的类和物：」
也。
「正则无副作用消除」者会「式」而
  虑「递归」者「正则无副作用消除」而
  鉴「式」而
    有（「式节点」于「内联虑」于（（「列」【「当前式」，「尾式」】）））则（
      若（「表达式无副作用」于「当前式」）
      则
        （
          若（「是直接变量」于「当前式」）
          则
            （「递归」于（「式替换」于（「当前式」）于「尾式」））
          否则
            （
              虑「后尾式」者「递归」于「尾式」
              而
              若（「抽象是有名的」于「后尾式」）则
                （（「式节点」于「内联虑」于（（「列」【「当前式」，「后尾式」】））））
              否则
                （「解构无名抽象」于「后尾式」）
            ）
        ）
      否则
        （「表达式统一操作」于「递归」于「式」）
    ）
    或有「其他」则
      「表达式统一操作」于「递归」于「式」
也。

「正则无副作用消除顶层」乃化「表达式」而「表达式」也。
「正则无副作用消除顶层」者会「式」而
  「正则无副作用消除」于「式」
也。
