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

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

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