寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。

「：文言：编号同源，片段各积，终乃反列。汉语：子区域共用函数内编号器，各自倒序积累指令，完成时一次反转；不重抄 let 后续树。：」
「正则构造器」即
  （「引用类」于「整数」）
  合（「引用类」于（「列」于「正则指令」））
  合（「引用类」于（「或可有」于「正则结束」））
  合（「引用类」于（「串典」于「整数」））
也。

「造正则构造器」乃化（「引用类」于「整数」）而「正则构造器」也。
「造正则构造器」者会「计数」而
  「计数」与（「新引用」授以（「列」于「正则指令」）于「罄」）与（「新引用」授以（「或可有」于「正则结束」）于「可无」）
    与（「新引用」授以（「串典」于「整数」）于（「空串典」授以「整数」））
也。

「造正则子器」乃化「正则构造器」而「正则构造器」也。
「造正则子器」者会「器」而
  （「器」中「零」）与（「新引用」授以（「列」于「正则指令」）于「罄」）
    与（「新引用」授以（「或可有」于「正则结束」）于「可无」）与（「器」中「三」）
也。

「取正则新号」乃化「正则构造器」而「整数」也。
「取正则新号」者会「器」而
  虑「号」者「读引用」授以「整数」于（「器」中「零」）而
  虑「无」者
    「写引用」授以「整数」于（「器」中「零」）于（「加」于「号」于「一」）
  而
  「号」
也。

「正则已结束」乃化「正则构造器」而「爻」也。
「正则已结束」者会「器」而
  鉴「读引用」授以（「或可有」于「正则结束」）于（「器」中「二」）而
    有「可无」则「阴」
    或有（「可有」于「终」）则「阳」
也。

「添正则指令」乃化「正则构造器」而化「正则指令」而「有」也。
「添正则指令」者会「器」而会「令」而
  若「正则已结束」于「器」则
    「元」
  否则
    「写引用」授以（「列」于「正则指令」）
    于（「器」中「一」）
    于（「缀」于「令」于（「读引用」授以（「列」于「正则指令」）于（「器」中「一」）））
也。

「添正则运算」乃
  化「正则构造器」而
  化「正则操作」而
  化（「列」于「正则原子」）而
  「正则原子」
也。
「添正则运算」者会「器」而会「术」而会「参」而
  虑「号」者「取正则新号」于「器」而
  虑「无」者
    「添正则指令」于「器」于（「正则运算」于「号」于「正则通用值」于「术」于「参」）
  而
  「正则局部」于「号」
也。

「封正则区域」乃化「正则构造器」而化「正则原子」而「正则区域」也。
「封正则区域」者会「器」而会「值」而
  「正则段」
    于（「反转」授以「正则指令」于（「读引用」授以（「列」于「正则指令」）于（「器」中「一」）））
    于（
      鉴「读引用」授以（「或可有」于「正则结束」）于（「器」中「二」）而
        有「可无」则「正则产出」于「值」
        或有（「可有」于「终」）则「终」
    ）
也。

「构造统一正则式」乃
  化「正则构造器」而
  化（「列」于「正则原子」）而
  化「表达式」而
  「正则原子」
也。
「构造统一正则式」者会「器」而会「境」而会「式」而
  虑「构」者
    （化「表达式」而「正则原子」也会「子」而「构造统一正则式」于「器」于「境」于「子」）而
    虑「诸」者
      （化（「列」于「表达式」）而（「列」于「正则原子」）也会「子们」而「态射」授以「表达式」授以「正则原子」
        于「子们」于「构」
      ）而
      虑「运」者
        （化「正则操作」而化（「列」于「表达式」）而「正则原子」也会「术」而会「子们」而
        虑「参」者「诸」于「子们」而
        「添正则运算」于「器」于「术」于「参」
        ）而
      若「正则已结束」于「器」则「正则单元」否则
        鉴「式」而
          有（「绑定变量」于「号」）则（「第N个」授以「正则原子」于（「减」于「号」于「一」）于「境」）
  「：文言：旧局部续体归有果之块，唯可出外层。汉语：兼容前序 contify 的共享尾部；块出口是词法控制目标，不是函数或可保存的 continuation。：」
          或有（「式节点」
            于「顺序执行节点」
            于（「列」【
              （「式节点」于（「拉姆达抽象续延」于「标签」）于（「列」【（「绑定」于「名」于「后体」）】）），
              「前体」
            】））则（
            虑「号」者「取正则新号」于「器」
            而
            虑「块号」者「取正则新号」于「器」
            而
            虑「表」者「器」中「三」
            而
            虑「旧」者「读引用」授以（「串典」于「整数」）于「表」
            而
            虑「无」者
              「写引用」授以（「串典」于「整数」）
              于「表」
              于（「串典更新」授以「整数」于「旧」于「标签」于「块号」）
            而
            虑「子器」者「造正则子器」于「器」
            而
            虑「值」者「构造统一正则式」于「子器」于「境」于「前体」
            而
            虑「无」者
              若「正则已结束」于「子器」则
                「元」
              否则
                「写引用」授以（「或可有」于「正则结束」）
                于（「子器」中「二」）
                于（「可有」于（「正则返回」于「值」））
            而
            虑「无」者
              「写引用」授以（「串典」于「整数」）于「表」于「旧」
            而
            虑「无」者
              「添正则指令」
                于「器」
                于（「正则结果块」于「号」于「块号」于（「封正则区域」于「子器」于「值」））
            而
            「构造统一正则式」
              于「器」
              于（「缀」于（「正则局部」于「号」）于「境」）于「后体」
          ）
          或有（「式节点」于（「函数调用续延」于「标签」）于（「列」【「值」】））则（
            虑「果」者「构」于「值」
            而
            虑「块号」者
              「串典读取」授以「整数」
              于（「读引用」授以（「串典」于「整数」）于（「器」中「三」））
              于「标签」
            而
            虑「无」者
              若「正则已结束」于「器」则
                「元」
              否则
                「写引用」授以（「或可有」于「正则结束」）
                于（「器」中「二」）
                于（「可有」于（「正则退出块」于「块号」于「果」））
            而
            「正则单元」
          ）
          或有（「式节点」于「内联虑」于（「列」【「值」，（「绑定」于「名」于「体」）】））则
            （虑「原子」者「构」于「值」而「构造统一正则式」于「器」于（「缀」于「原子」于「境」）于「体」）
          或有（「式节点」于「顺序执行节点」于（「列」【「值」，「体」】））则
            （虑「忽略」者「构」于「值」而「构」于「体」）
          或有（「式节点」于「爻分支节点」于（「列」【「条件」，「阳体」，「阴体」】））则（
            虑「爻」者「构」于「条件」
            而
            虑「阳器」者「造正则子器」于「器」
            而
            虑「阳值」者「构造统一正则式」于「阳器」于「境」于「阳体」
            而
            虑「阴器」者「造正则子器」于「器」
            而
            虑「阴值」者「构造统一正则式」于「阴器」于「境」于「阴体」
            而
            虑「号」者「取正则新号」于「器」
            而
            虑「无」者
              「添正则指令」
                于「器」
                于（「正则如果」
                  于「号」
                  于「正则通用值」
                  于「爻」
                  于（「封正则区域」于「阳器」于「阳值」）
                  于（「封正则区域」于「阴器」于「阴值」））
            而
            虑「无」者
              若「且」
                于（「正则已结束」于「阳器」）
                于（「正则已结束」于「阴器」）则
                  「写引用」授以（「或可有」于「正则结束」）
                  于（「器」中「二」）
                  于（「可有」于「正则不可达」）
              否则
                「元」
            而
            「正则局部」于「号」
          ）
          或有（「式节点」于「续延调用节点」于（「列」【（「绑定」于「名」于「体」）】））则（
            虑「令牌」者「取正则新号」于「器」
            而
            虑「子器」者「造正则子器」于「器」
            而
            虑「值」者
              「构造统一正则式」
                于「子器」
                于（「缀」于（「正则局部」于「令牌」）于「境」）于「体」
            而
            虑「号」者「取正则新号」于「器」
            而
            虑「无」者
              「添正则指令」
                于「器」
                于（「正则退出域」于「号」于「令牌」于（「封正则区域」于「子器」于「值」））
            而
            「正则局部」于「号」
          ）
          或有（「式节点」于「续延调用返回节点」于（「列」【「令牌」，「值」】））则（
            虑「令」者「构」于「令牌」
            而
            虑「果」者「构」于「值」
            而
            虑「无」者
              若「正则已结束」于「器」则
                「元」
              否则
                「写引用」授以（「或可有」于「正则结束」）
                于（「器」中「二」）
                于（「可有」于（「正则提前退出」于「令」于「果」））
            而
            「正则单元」
          ）
          或有（「式节点」于（「整数节点」于「值」）于「罄」）则（「正则整数」于「值」）
          或有（「式节点」于（「小数节点」于「值」于（「整」与「小」））于「罄」）则（「正则小数」于「整」于「小」）
          或有（「式节点」于（「字符串节点」于「值」）于「罄」）则（「正则字符串」于「值」）
          或有（「式节点」于「空值节点」于「罄」）则（「正则单元」）
          或有（「式节点」于「擦除后类型节点」于「罄」）则（「正则单元」）
          或有（「式节点」于（「函数引用节点」于「名」）于「罄」）则（「正则函数引用」于「名」）
          或有（「式节点」于（「展开后内建节点」于「量」）于「参数」）则（
            鉴「量」而
              有「内建有元」则「正则单元」
              或有「内建爻阳」则「正则爻」于「阳」
              或有「内建爻阴」则「正则爻」于「阴」
              或有「内建函数整数减」则
                「运」
                  于（「正则原语」于『豫言_整数减』）
                  于「参数」
              或有「内建函数整数相等」则
                「运」
                  于（「正则原语」于『豫言_整数相等』）
                  于「参数」
              或有「内建函数整数大于」则
                「运」
                  于（「正则原语」于『豫言_整数大于』）
                  于「参数」
              或有「其他内建」则
                「发生事故」授以「正则原子」于『统一正则不支持此内建原语』
          ）
          或有（「式节点」于「函数调用」于（「列」【「头」，（「式节点」于（「参数节点」于「形」）于「参数」）】））则
            （「运」于「正则调用」于（「缀」于「头」于「参数」））
          或有（「式节点」于（「解析后外部调用节点无类型」于「名」）于「参数」）则
            （「运」于（「正则原语」于「名」）于「参数」）
          或有（「式节点」于「元组构造节点」于「参数」）则（「运」于「正则造元组」于「参数」）
          或有（「式节点」于「栈元组构造节点」于「参数」）则（「运」于「正则造元组」于「参数」）
          或有（「式节点」于（「元组解构节点」于「位」）于「参数」）则（「运」于（「正则取字段」于「位」）于「参数」）
          或有（「式节点」于（「元组更新节点」于「位」）于「参数」）则（「运」于（「正则写字段」于「位」）于「参数」）
          或有（「式节点」于（「唯一构造器序数元组节点」于「序」于「长」）于「参数」）则
            （「运」于（「正则造标签」于「序」于「长」）于「参数」）
          或有（「式节点」于「唯一构造器序数元组投影序数节点」于「参数」）则（「运」于「正则取标签」于「参数」）
          或有（「式节点」于「唯一构造器序数元组投影元组节点」于「参数」）则（「运」于「正则取载荷」于「参数」）
          或有（「式节点」于（「文件定义引用节点」于「文件」于「名」于「序」）于「参数」）则
            （「运」于（「正则读全局」于「文件」于「名」于「序」）于「参数」）
          或有（「式节点」于（「文件定义存储节点」于「文件」于「名」于「序」）于「参数」）则
            （「运」于（「正则写全局」于「文件」于「名」于「序」）于「参数」）
          或有（「式节点」于（「文件定义内存引用节点」于「文件」于「名」于「序」）于「参数」）则
            （「运」于（「正则全局根地址」于「文件」于「名」于「序」）于「参数」）
          或有（「式节点」于（「自由变量标注节点」于「名」）于（「列」【「值」】））则（「构」于「值」）
          或有「其他」则
            （「发生事故」授以「正则原子」于（『统一正则构造遇到未降低节点：』附（「表达式表示」于「式」）））
也。

「构造统一正则函数」乃化（「字符串」合「爻」合「表达式」）而「正则函数」也。
「构造统一正则函数」者会「项」而
  虑「器」者「造正则构造器」于（「新引用」授以「整数」于「零」）而
  递归虑「解参」其化「整数」而化「表达式」而化（「列」于「正则原子」）而「正则区域」者
    （会「余」而会「式」而会「境」而
      若「等于」于「余」于「零」则
        （虑「值」者「构造统一正则式」于「器」于「境」于「式」而「封正则区域」于「器」于「值」）
      否则
        鉴「式」而
          有（「绑定」于「名」于「体」）则（
            虑「号」者「取正则新号」于「器」而
            「解参」
              于（「减」于「余」于「一」）
              于「体」
              于（「缀」于（「正则局部」于「号」）于「境」）
          ）
          或有「其他」则
            「发生事故」授以「正则区域」于『统一正则函数参数缺少绑定』
    ）
  而
  鉴（「项」中「二」）而
    有（「式节点」于（「拉姆达抽象」于（「多参数形」于「数」））于（「列」【「体」】））则（
      虑「区域」者「解参」于「数」于「体」于「罄」而
      （「项」中「零」）与（「项」中「一」）与（「整数范围」于「零」于「数」）与「区域」
        与（「读引用」授以「整数」于（「器」中「零」））
    ）
    或有「其他」则（「发生事故」授以「正则函数」于『统一正则输入必须是提升后的函数』）
也。

「构造统一正则模块」乃
  化（「列」于（「字符串」合「爻」合「表达式」））而
  「正则模块」
也。
「构造统一正则模块」者会「组」而
  「态射」授以（「字符串」合「爻」合「表达式」）授以「正则函数」
    于「组」
    于「构造统一正则函数」
也。
