「：优化框架的作用是快速构建优化的：」

寻观「标准库」之书。

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

。

「：变换函数在不需要优化的case调用本函数，传入自身，可以进行递归优化：」
「：本身可以用于优化，也可以用于其余目的：」
「正则形式统一变换」乃化（化「表达式」而「表达式」） 「：变换函数：」而
  化「表达式」而「表达式」也。
「正则形式统一变换」者会「变换函数」而会「式」而
  虑「绑定递归」者（化「表达式」而「表达式」也会「式」而「抽象表达式操作」于「式」于「变换函数」）而
    鉴「式」而
      有（「自由变量」于「名」）则
        （「自由变量」于「名」）
      或有（「式节点」于「内联虑」于（（「列」【「实现」，「下个」】）））则（
        「：TODO如果拉姆达式也需要递归：」
        「： 式节点于「内联虑」于「实现」衔（绑定递归于下个）衔【】 ：」
        鉴「实现」而
          有（「式节点」于（「拉姆达抽象」于「拉形」）于（（「列」【「拉体」】）））
          则（虑「优化实现」者「绑定递归」于
            「拉体」而
              （「式节点」于「内联虑」
                于（（「列」【（「式节点」于（「拉姆达抽象」于「拉形」）于（（「列」【「优化实现」】））），（「绑定递归」于「下个」）】））））
          或有（「式节点」于（「拉姆达抽象续延」于「拉名」）于（（「列」【「拉体」】）））
          则（虑「优化实现」者
                「绑定递归」于「拉体」
              而
              （「式节点」于「内联虑」
                于（（「列」【（「式节点」于（「拉姆达抽象续延」于「拉名」）于（（「列」【「优化实现」】））），（「绑定递归」于「下个」）】））））
          或有（「式节点」于（「拉姆达抽象两参数」）于（（「列」【「拉体」】）））
          则（虑「优化实现」者
                「抽象表达式操作」于「拉体」于
                「绑定递归」而
              （「式节点」于「内联虑」
                于（（「列」【（「式节点」于（「拉姆达抽象两参数」）于（（「列」【「优化实现」】））），（「绑定递归」于「下个」）】））））
          或有「其他」则
            （「式节点」于「内联虑」于（（「列」【「实现」，（「绑定递归」于「下个」）】））））
      或有（「式节点」于（「爻分支节点」）于（「列」【「爻式」，「阳式」，「阴式」】））
      则（「式节点」于（「爻分支节点」）于（「列」【「爻式」，「变换函数」于「阳式」，「变换函数」于「阴式」】））
      或有（「式节点」于「模式匹配」于（「缀」于「分析式」于「分支们」））则
        （「式节点」于「模式匹配」于（「缀」于（「分析式」）于（（「态射」）于「分支们」于（「变换函数」））））
    「： 或有（式节点于（模式匹配分支）于「模式」衔「结果」衔【】）则
                （式节点于（模式匹配分支）于（模式）衔（「变换函数」于结果）衔【】） ：」
      或有（「式节点」于（「常量模式匹配分支」）于（（「列」【「常量」，「结果」】）））则
        （「式节点」于（「常量模式匹配分支」）于（（「列」【「常量」，（「变换函数」于「结果」）】）））
      或有（「式节点」于（「变量模式匹配分支」）于（（「列」【「结果」】）））则
        （「式节点」于（「变量模式匹配分支」）于（（「列」【（「绑定递归」于「结果」）】）））
      或有（「式节点」于（「唯一构造器模式匹配分支」于「序数」）于（（「列」【「结果」】）））则
        （「式节点」于（「唯一构造器模式匹配分支」于「序数」）于（（「列」【（「绑定递归」于「结果」）】）））
      或有（「式节点」于（「续延调用节点」）于（（「列」【「续参」】）））则
        （（「式节点」于（「续延调用节点」）于（（「列」【（「绑定递归」于「续参」）】））））
      或有「其他」则「发生事故」于『不带定义优化，不期待的正则表达式结尾：』附（「表达式表示」于「式」）也。
