寻观「标准库」之书。

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

寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。
寻观「编译器核心」之「编译步骤」之「优化」之「基础工具」之「表达式带定义操作」之书。
寻观「拓展库」之「顺序标识符」之「顺序标识符」之书。

「新名」乃化「有」而「字符串」也。
「新名」者会「无」而「下个字符序数」于『变B』也。

「创建合并点」乃化（「或可有」于（化「字符串」而「表达式」）） 「：继续，合并点后操作，参数是合并点前后续计算结果名：」而
  化（化（「或可有」于（化「字符串」而「表达式」））而「表达式」） 「：后续，合并点前操作：」而
  「表达式」也。
「创建合并点」者会「继续」而会「后续」而
  （鉴「继续」而
    有「可无」则「后续」于「可无」
    或有（「可有」于「操作内容」）则（虑「返回式名」者「新名」于「元」而
                                      虑「合并点名」者「下个字符序数」于『合并点』而
                                      虑「返回式」者（「式节点」
                                      于（「拉姆达抽象续延」于「合并点名」）
                                      于（（「列」【（虑「名」者「新名」于「元」
                                                    而
                                                    「进行抽象」于「名」
                                                      于（「操作内容」于「名」））】）））
                                      而
                                      「式节点」于「内联虑」于（（「列」【「返回式」，（「进行抽象」于
                                      「返回式名」于（「后续」
                                      于（「可有」
          授以（化「字符串」而「表达式」）
            于（会「名」而
              「式节点」于「内联虑」于（（「列」【（「式节点」于（「函数调用续延」于「合并点名」）于（（「列」【（「自由变量」于「名」）】））），（「构造抽象」于『合并点最终结果无返回』
              于（会「合并点最终结果」而「自由变量」于「合并点最终结果」））】））））））】））））
也。

「必须直接返回」乃化「表达式」而化（「或可有」于（化「字符串」而「表达式」））而「表达式」也。
「必须直接返回」者会「式」而会「继续」而
  （鉴「继续」而
    有
      「可无」则（「式」）
    或有（「可有」于「操作内容」）则（若（「是直接返回自由变量绑定」于（「构造抽象」于『无类型辅助名』于「操作内容」））
    则
      （「式」）
    否则
      （「发生事故」于『期待直接返回170，却得到了』附（「表达式表示」
            于（「构造抽象」于『无类型辅助名』于「操作内容」）））））也。

「求值正则变换」乃化「表达式」 「：变换式本身：」而
  化
    （「或可有」于（化「字符串」 「：当前变换的式的结果必须存于此变量中：」而
          「表达式」
      ）） 「：如果是直接返回，传递可无：」
    而「表达式」也。
「求值正则变换」者会「式」而会「继续」而
  虑「无」者「详细调试打印行」于（会「无」而『[D]正在求值正则变换：』附（「表达式表示」于「式」））而
  虑「递归」者「求值正则变换」而
  虑「继续操作」者（化（化「字符串」而「表达式」）而（「或可有」于（化「字符串」而「表达式」））也
      会「操作」而（「可有」授以（化「字符串」而「表达式」））于「操作」
  ）而
  虑「列递归」者（化（「列」于「表达式」）而化（化（「列」于「字符串」）而「表达式」）而「表达式」也会「式列」而会
      「后续」而
    递归虑「处理」其化「整数」而化（「列」于「字符串」）而「表达式」者
          （会「数」而会「已有」而
            若（「等」于「数」于（「长度」于「式列」））
            则
              （「后续」于「已有」）
            否则
              （「递归」于（「第N个」于「数」于「式列」）于（「继续操作」
                于（会「新名」而
                  「处理」于（「加」于「数」于「一」）于（「附加」于「已有」于（（「列」【「新名」】）））））））
        而
        「处理」于「零」于「罄」
  ）而
  虑「结果」者（「尝试运行」授以「表达式」）于（会「无」而（「表达式」也
        鉴「式」而
          有（「式节点」于（「文件引用节点」于「文件名」）于「罄」）则
            （「简单内联虑变换」于「式」于「继续」）
          或有（「自由变量」于「名」）则
            （「简单内联虑变换」于「式」于「继续」）
          或有（「式节点」于（「拉姆达抽象」于（「多参数形」于「个数」））于（（「列」【「多绑定」】）））
          则（虑「正则拉姆达式」者
                （「式节点」于（「拉姆达抽象」于（「多参数形」于「个数」））
                  于（（「列」【（「多绑定递归」于「个数」于「多绑定」于（会「体」而「求值正则变换」于「体」于「可无」））】）））而
              「简单内联虑变换」于
              「正则拉姆达式」于
              「继续」
          ）
          或有（「式节点」于（「续延调用返回节点」）于（（「列」【「续延标识」，「续参」】）））
          则（「递归」于「续延标识」于（「继续操作」于（会「续延标识名」而
            「递归」于「续参」于（「继续操作」于（会「续参名」而
              「简单内联虑变换」于（「式节点」于（「续延调用返回节点」）
                于（（「列」【（「自由变量」于「续延标识名」），（「自由变量」于「续参名」）】）））于
                「继续」）））））
          或有（「式节点」于（「续延调用节点」）于（（「列」【「续参」】）））则（「必须直接返回」
            于（（「式节点」于（「续延调用节点」）于（（「列」【（「解构抽象并继续」于
              「续参」于（会「续参名」
              而会「后续参」而
                「进行抽象」于「续参名」于（「求值正则变换」于「后续参」于「可无」）））】））））于
                「继续」
          ）
          或有（「式节点」于（「爻分支节点」）于（「列」【「爻式」，「阳式」，「阴式」】））
          则（虑「阳式标签」者「下个字符序数」于『阳式分支』而
              虑「阴式标签」者「下个字符序数」于『阴式分支』而
              「创建合并点」于「继续」于（会「返回」而
                「递归」于「爻式」于（「继续操作」于（会「后爻式」而
                  （「式节点」于（「爻分支节点」）于（「列」【「自由变量」于「后爻式」，「递归」于「阳式」于（「返回」），「递归」于「阴式」于「返回」】））
                    「： 「创建合并点」于（继续操作于（会无而递归于阳式于（返回）））于（会阳式返回而
                            「创建合并点」于（继续操作于（会无而递归于阴式于（返回）））于（会阴式返回而
                                    式节点于（爻分支节点）于【自由变量于后爻式，
                                            「简单内联虑变换」于（式节点于「空值节点」于【】）于（阳式返回），
                                            「简单内联虑变换」于（式节点于「空值节点」于【】）于（阴式返回）
                                        】
                                ）
                            ） ：」
））））
          或有（「式节点」于「函数调用」于（（「列」【「函数」，（「式节点」于（「参数节点」于（「多参数形」于「个数」））于「参数」）】）））则（「列递归」于（「缀」于「函数」于「参数」）
              于（会「参名们」而
                鉴「参名们」而有（「缀」于「函数名」于「参数名们」）则
                  「简单内联虑变换」于（「分组函数调用式」于（「多参数形」于「个数」）
                  于（「自由变量」于「函数名」）于（（「态射」）于「参数名们」于「自由变量」））
                  于「继续」））
          或有（「式节点」于「函数调用」于（（「列」【「函数」，（「式节点」于（「参数节点」于（「尾多参数形」于「个数」））于「参数」）】）））则（「列递归」于（「缀」于「函数」于「参数」）
              于（会「参名们」而
                鉴「参名们」而有（「缀」于「函数名」于「参数名们」）则
                  「简单内联虑变换」于（「分组函数调用式」于（「尾多参数形」于「个数」）
                  于（「自由变量」于「函数名」）于（（「态射」）于「参数名们」于「自由变量」））
                  于「继续」））
          或有（「式节点」于（「函数调用续延」于「标签名」）于（（「列」【「参数」】）））则（「必须直接返回」
            于（「递归」于「参数」于（「继续操作」
            于（会「参数名」而
              「简单内联虑变换」于（「式节点」于（「函数调用续延」于「标签名」）
              于（（「列」【（「自由变量」于「参数名」）】）））于「继续」）））于「继续」
          ）
          或有（「式节点」于（「展开后内建节点」于「量」）于「参数」）则（「列递归」于「参数」
            于（会「参名们」而
              「简单内联虑变换」于（「式节点」于（「展开后内建节点」于「量」）
              于（（「态射」）于「参名们」于「自由变量」））
              于「继续」））
          或有（「式节点」于（「整数节点」于「数」）于「罄」）则
            （（「简单内联虑变换」于「式」于「继续」））
          或有（「式节点」于（「小数节点」于「数」于「整小部」）于「罄」）则
            （（「简单内联虑变换」于「式」于「继续」））
          或有（「式节点」于（「字符串节点」于「串」）于「罄」）则
            （（「简单内联虑变换」于「式」于「继续」））
          或有（「式节点」于（「擦除后类型节点」）于「罄」）则
            （（「简单内联虑变换」于「式」于「继续」））
          或有（「式节点」于（「拉姆达抽象续延」于「标签名」）于（（「列」【「体」】）））则（「发生事故」于
            『拉姆达抽象续延不可单独出现，必须出现在内联虑（或顺序执行节点中），或者后续必须存在：』
            附（「表达式表示」于「式」）
            「： 鉴「继续」而
                    有「可无」则
                    或有（可有（操作内容））则
                        （
                            解构抽象并继续于体于
                            （会绑定名而会后体而
                                虑正则拉姆达式者（式节点于（拉姆达抽象续延于标签名）于【
                                        进行抽象于绑定名于（求值正则变换于后体于「可无」）】）而
                                虑无绑定假名者下个字符序数于『无绑定假名』而
                                虑后续内容者（进行抽象于无绑定假名于（操作内容于无绑定假名））而
                                式节点于「内联虑」于【（正则拉姆达式），后续内容】
                            ）

                        ） ：」
          ）
          或有（「式节点」于「顺序执行节点」于（（「列」【（「式节点」
            于（「拉姆达抽象续延」于「标签名」）于（（「列」【「体」】））），「尾式」】）））则（「解构抽象并继续」于「体」
              于（会「绑定名」而会「后体」而
                虑「正则拉姆达式」者
                  （「式节点」于（「拉姆达抽象续延」于「标签名」）
                    于（（「列」【（「进行抽象」于「绑定名」于（「求值正则变换」于「后体」于「可无」））】）））而
                「式节点」于「内联虑」于（（「列」【（「正则拉姆达式」），（「进行无名抽象」于（「递归」于「尾式」于「继续」））】））））
          或有（「式节点」于「顺序执行节点」于（（「列」【「定义式」，「尾式」】）））则
            （「递归」于「定义式」于（「继续操作」于（会「定义式名」而「递归」于「尾式」于「继续」）））
          或有（「式节点」于「内联虑」于（（「列」【「定义式」，「尾式」】）））则（「递归」于「定义式」
            于（「继续操作」于（会「定义式名」而
              「解构抽象并继续」于「尾式」于（会「绑定名」而会「后尾式」而
                （「式节点」于「内联虑」于（（「列」【（「自由变量」于「定义式名」），（「进行抽象」于「绑定名」于（「递归」于「后尾式」于「继续」））】）））））））
          或有（「式节点」于（「元组构造节点」）于「元参」）则（「列递归」于「元参」
            于（会「元参名们」而
              「简单内联虑变换」于（「式节点」于（「元组构造节点」）于（（「态射」）于「元参名们」于「自由变量」））
              于「继续」））
          或有（「式节点」于（「栈元组构造节点」）于「元参」）则（「列递归」于「元参」
            于（会「元参名们」而
              「简单内联虑变换」于（「式节点」于（「元组构造节点」）于（（「态射」）于「元参名们」于「自由变量」））
              于「继续」））
          或有（「式节点」于（「元组解构节点」于「序数」）于（（「列」【「元组」】）））则（「递归」于「元组」
            于（「继续操作」于（会「元组名」而
              「简单内联虑变换」于（「式节点」于（「元组解构节点」于「序数」）
              于（（「列」【（「自由变量」于「元组名」）】）））于「继续」）））
          或有（「式节点」于（「元组更新节点」于「序数」）于（（「列」【「元组」，「参数」】）））
          则（「递归」于「元组」于（「继续操作」于（会「元组名」而
            「递归」于「参数」于（「继续操作」于（会「参数名」而
              「简单内联虑变换」于（「式节点」于（「元组更新节点」于「序数」）
                于（（「列」【（「自由变量」于「元组名」），（「自由变量」于「参数名」）】）））于
                「继续」）））））
          或有（「式节点」于（「展开后唯一构造器节点」于「序数」）于「参数」）则（「列递归」于「参数」
            于（会「参名们」而
              「简单内联虑变换」于（「式节点」于（「展开后唯一构造器节点」于「序数」）
              于（（「态射」）于「参名们」于「自由变量」））
              于「继续」））
          或有（「式节点」于（「唯一构造器序数元组节点」于「序数」于「元组长」）于（（「列」【「元组式」】）））
          则（「递归」于「元组式」于（「继续操作」于（会「元组式名」而
            「简单内联虑变换」于（「式节点」于（「唯一构造器序数元组节点」于「序数」于「元组长」）
              于（（「列」【（「自由变量」于「元组式名」）】）））于「继续」）））
          或有（「式节点」于（「唯一构造器序数元组投影序数节点」）于（（「列」【「构造式」】）））则（「递归」于
            「构造式」于（「继续操作」于（会「构造式名」而
              「简单内联虑变换」于（「式节点」于（「唯一构造器序数元组投影序数节点」）
                于（（「列」【（「自由变量」于「构造式名」）】）））于「继续」）））
          或有（「式节点」于（「唯一构造器序数元组投影元组节点」）于（（「列」【「构造式」】）））则（「递归」于
            「构造式」于（「继续操作」于（会「构造式名」而
              「简单内联虑变换」于（「式节点」于（「唯一构造器序数元组投影元组节点」）
                于（（「列」【（「自由变量」于「构造式名」）】）））于「继续」）））

          或有（「式节点」于（「文件引用节点」于「新文件名」）于「罄」）则
            （「简单内联虑变换」于「式」于「继续」）
          或有（「式节点」于（「文件定义引用节点」于「文件名」于「定义名」于「序数」）于「罄」）则
            （「简单内联虑变换」于「式」于「继续」）
          或有（「式节点」于（「文件定义内存引用节点」于「文件名」于「定义名」于「序数」）于「罄」）则
            （「简单内联虑变换」于「式」于「继续」）
          或有（「式节点」于（「解析后外部调用节点无类型」于「串」）于「参」）则（「列递归」于「参」
            于（会「参名们」而
              「简单内联虑变换」于（「式节点」于（「解析后外部调用节点无类型」于「串」）
              于（（「态射」）于「参名们」于「自由变量」））
              于「继续」））
          或有（「式节点」于（「自由变量标注节点」于「标注名」）于（（「列」【「参」】）））则（「递归」于「参」
            于（「继续操作」于（会
            「参名」而
            「简单内联虑变换」于（「式节点」于（「自由变量标注节点」于「标注名」）
              于（（「列」【（「自由变量」于「参名」）】）））于「继续」）））
          或有（「式节点」于（「文件定义存储节点」于「文件名」于「定义名」于「序数」）于（（「列」【「参」】）））
          则（「递归」于「参」于（「继续操作」于（会「参名」而
            「简单内联虑变换」于（「式节点」于（「文件定义存储节点」于「文件名」于「定义名」于「序数」）
              于（（「列」【（「自由变量」于「参名」）】）））于「继续」）））
          或有（「式节点」于（「空值节点」）于「罄」）则
            （「简单内联虑变换」于「式」于「继续」）
          或有（「式节点」于（「函数引用节点」于「串」）于「罄」）则
            （「简单内联虑变换」于「式」于「继续」）
          「： 或有（式节点于（拉姆达抽象两参数）于体衔【】）则
        （
            解构抽象并继续于体于
                （会绑定名一而会后体而
                    解构抽象并继续于后体于
                        （会绑定名二而会后后体而
                            虑正则拉姆达式者
                                （式节点于（拉姆达抽象两参数）于【
                                    进行抽象于绑定名一于（
                                        进行抽象于绑定名二于（求值正则变换于后后体于
                                            （会返回名而
                                                自由变量于返回名
                                            ）））】）而
                                「简单内联虑变换」于正则拉姆达式于继续
                        ）
                ）
        ） ：」
          或有（「式节点」于（「自由变量标注节点」于「标注名」）于（（「列」【（「自由变量」于「变量名」）】）））
          则
            （「简单内联虑变换」于「式」于「继续」）
          或有「其他」则「发生事故」于『未有8：』附（「表达式表示」于「式」）））
          于（会「事故」而「发生事故」于「事故」附『「：换行：」在正则变换时：式：』附（「表达式表示」于「式」））而
  虑「无」者「详细调试打印行」于（会「无」而『[D]完成求值正则变换：』附（「表达式表示」于「式」）附『结果：』
    附（「表达式表示」于「结果」））而
  「结果」
也。
