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

「递归节点闭包前变换」乃化「表达式」而「表达式」也。
「递归节点闭包前变换」者会「式」而
  虑「递归」者「递归节点闭包前变换」而
  鉴「式」而
    有（「式节点」于（「递归节点」）于（（「列」【「递归定义域」，「递归值域」】）））则（「递归」
      于（「式节点」于「内联虑」于（（「列」【（「式节点」于（「空值节点」）于「罄」），（「构造抽象」于『递归未初始化元素』于（会「递归未初始化元素」而
          「式节点」于「内联虑」于（（「列」【（「式节点」于「元组构造节点」
            于（（「列」【（「自由变量」于「递归未初始化元素」）】））），（「构造抽象」于『递归元组引用名』于（会「递归元组引用名」而
              「式节点」于「内联虑」于（（「列」【（「式替换」
                于（「式节点」于（「元组解构节点」于「零」）于（（「列」【（「自由变量」于「递归元组引用名」）】）））
                于「递归值域」），（「构造抽象」于『递归值名』于（会「递归值名」而
                  「式节点」于「顺序执行节点」于（（「列」【（「式节点」
                    于（「元组更新节点」于「零」）于（（「列」【（「自由变量」于「递归元组引用名」），（「自由变量」于「递归值名」）】））），（「自由变量」于「递归值名」）】））））】））））】））））】））））
    或有「其他」则「表达式统一操作」于「递归」于「式」
也。

「递归节点闭包前变换顶层」乃化「表达式」而「表达式」也。
「递归节点闭包前变换顶层」者会「式」而
  「递归节点闭包前变换」于「式」也。
