寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编编码基础」之书。
寻观「编译器核心」之「网页汇编核心」之「回收模块」之书。

「：文言：常量之叶可共，有可变之物不可共。汉语：仅共享字面整数、爻和单元组成的构造器；载荷元组必须只被该构造器使用一次，普通元组和含引用的对象不共享。：」
「构造常量索引」者「新引用」授以「编号索引」于（「造编号索引」于「元」）也。

「构造常量数」者「新引用」授以「整数」于「零」也。

「构造常量们」者「新引用」授以（「列」于（「整数」合「整数」合（「列」于「正则原子」）））
于「罄」
也。

「构造常量局部」者
  「新引用」授以（「数组引用类」于「整数」）
  于（「新数组引用」授以「整数」于（「减」于「零」于「一」）于「零」）
也。

「清构造常量」乃化「有」而「有」也。
「清构造常量」者会「无」而
  （「写引用」于「构造常量索引」于（「造编号索引」于「元」）；
    「写引用」于「构造常量数」于「零」；
    「写引用」于「构造常量们」于「罄」）
也。

「构造常量键」乃化「正则原子」而「字符串」也。
「构造常量键」者会「值」而
  鉴「值」而
    有（「正则整数」于「数」）则
      『整:』附（「整数表示」于「数」）
    或有（「正则爻」于「真」）则
      若「真」则『爻:1』否则『爻:0』
    或有「正则单元」则『元』
    或有「其他」则『』
也。

「登记构造常量」乃
  化「整数」而
  化「整数」而
  化（「列」于「正则原子」）而
  「整数」
也。
「登记构造常量」者会「序」而会「长」而会「参」而
  虑「键」者
    （「整数表示」于「序」）附『/』附（「整数表示」于「长」）附『/』附（「间合」
      于『;』
      于（「态射」于「参」于「构造常量键」））而
      虑「旧」者「查编号」于（「读引用」于「构造常量索引」）于「键」而
      若「大于」于「旧」于（「减」于「零」于「一」）则「旧」否则
        （
          虑「号」者「读引用」于「构造常量数」而
          「记编号」于（「读引用」于「构造常量索引」）于「键」于「号」；
          「写引用」于「构造常量数」于（「加」于「号」于「一」）；
          「写引用」
            于「构造常量们」
            于（「缀」于（「号」与「序」与「参」）于（「读引用」于「构造常量们」））；
            「号」）
也。

「分析构造常量」乃化「正则函数」而「有」也。
「分析构造常量」者会「函」而
  虑「计」者「新数组引用」授以「整数」于「零」于（「函」中「四」）而
  虑「表」者
    「新数组引用」授以「整数」于（「减」于「零」于「一」）于（「函」中「四」）而
    虑「无」者「写引用」于「构造常量局部」于「表」而
    虑「用」者
      （化「正则原子」而「有」也会「值」而鉴「值」而
          有（「正则局部」于「号」）则
            「写数组引用」授以「整数」
            于「计」
            于「号」
            于（「加」于（「读数组引用」授以「整数」于「计」于「号」）于「一」）
          或有「其他」则「元」
      ）而
    递归虑「计段」其化「正则区域」而「有」者会「段」而
      鉴「段」而
        有（「正则段」于「令们」于「终」）则
          （「态射」授以「正则指令」授以「有」
            于「令们」
            于（会「令」而鉴「令」而
              有（「正则运算」于「号」于「类」于「术」于「参」）则
                （「态射」授以「正则原子」授以「有」于「参」于「用」；
                  「元」）
              或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则
                （「用」于「条件」；
                  「计段」于「阳体」；
                  「计段」于「阴体」）
              或有（「正则退出域」于「号」于「令牌」于「体」）则「计段」
                于「体」
              或有（「正则结果块」于「号」于「标签」于「体」）则「计段」
                于「体」
              或有「其他」则「元」）；
            鉴「终」而
              有（「正则产出」于「值」）则「用」
                于「值」
              或有（「正则返回」于「值」）则「用」
                于「值」
              或有（「正则提前退出」于「令牌」于「值」）则
                （「用」于「令牌」；
                  「用」于「值」）
              或有（「正则退出块」于「标签」于「值」）则「用」
                于「值」
              或有（「正则尾调用」于「头」于「参」）则
                （「用」于「头」；
                  （「态射」授以「正则原子」授以「有」于「参」于「用」）；
                  「元」）
              或有「其他」则「元」）
    而
    虑「无」者「计段」于（「函」中「三」）而
    递归虑「扫段」其化「正则区域」而「有」者会「段」而
      鉴「段」而
        有（「正则段」于「令们」于「终」）则（
          递归虑「扫令」其化（「列」于「正则指令」）而「有」者会「诸令」而
            鉴「诸令」而
              有「罄」则「元」
              或有（「缀」于「令」于「余」）则（
                虑「无」者
                  （
                    鉴「诸令」而
                      有（「缀」
                        于（「正则运算」于「载号」于「载类」于「正则造元组」于「载参」）
                        于（「缀」
                          于（「正则运算」
                            于「果号」
                            于「果类」
                            于（「正则造标签」于「序」于「长」）
                            于（「列」【「正则局部」于「用号」】））于「后」））则
                          若「且」
                            于（「等于」于「载号」于「用号」）
                            于（「等于」于（「读数组引用」授以「整数」于「计」于「载号」）于「一」）则
                            若「非」于（「存在吗」授以「正则原子」
                              于（会「值」而「串相等」于（「构造常量键」于「值」）于『』）
                              于「载参」）则
                              （（「写数组引用」授以「整数」于「表」于「载号」于（「减」于「零」于「二」））；
                                （「写数组引用」授以「整数」
                                  于「表」
                                  于「果号」
                                  于（「登记构造常量」于「序」于「长」于「载参」）））
                            否则
                              「元」
                          否则
                            「元」
                      或有「其他」则「元」
                  ）
                而
                虑「无」者
                  （
                    鉴「令」而
                      有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则
                        （「扫段」于「阳体」；
                          「扫段」于「阴体」）
                      或有（「正则退出域」于「号」于「令牌」于「体」）则「扫段」
                        于「体」
                      或有（「正则结果块」于「号」于「标签」于「体」）则「扫段」
                        于「体」
                      或有「其他」则「元」
                  ）
                而
                「扫令」于「余」
              ）
          而
          「扫令」于「令们」
        ）
    而
    「扫段」于（「函」中「三」）
也。

「：文言：构造之常，各为可变之全局，初为空。汉语：每个构造常量是一个可变全局变量 $k号，初值为空引用，启动时再填入。：」
「构造常量声明」乃化「有」而「回收项串」也。
「构造常量声明」者会「无」而
  「回收项列」
    于（「态射」授以「整数」授以「回收模块项」
      于（「整数范围」于「零」于（「读引用」于「构造常量数」））
      于（会「号」而「回收全局项」于（『$k』附（「整数表示」于「号」））于「回收等引用」于「阳」于「空令」））
也。

「：文言：起始时造诸构造之常：诸叶入元组，与标号合为变体。汉语：启动时创建各构造常量：叶值（装箱整数、i31 爻、空单元）放进元组，再与标签序号组成 $variant，存入 $k号。：」
「构造常量初始化」乃化「有」而「回收串」也。
「构造常量初始化」者会「无」而
  「回收拼」
    于（「态射」授以（「整数」合「整数」合（「列」于「正则原子」））授以「回收串」
      于（「读引用」于「构造常量们」）
      于（会「项」而
        「回收拼」
          于（「列」【
            「回收单令」于（「回收整三二常」于（「项」中「一」）），
            「回收拼」于（「态射」授以「正则原子」授以「回收串」
              于（「项」中「二」）
              于（会「值」而
                鉴「值」而
                  有（「正则整数」于「数」）则
                    「回收令列」于（「列」【「回收整六四常」于「数」，「回收调用」于『$box』】）
                  或有（「正则爻」于「真」）则
                    「回收令列」于（「列」【「回收整三二常」于（
                      若「真」则「一」否则「零」），「回收转小整」】）
                  或有「正则单元」则「空令」
                  或有「其他」则
                    「发生事故」授以「回收串」于『非法构造常量』）），
                    「回收令列」于（「列」【
                      「回收数组新定」
                        于『$tuple』
                        于（「长度」授以「正则原子」于（「项」中「二」）），
                        「回收结构新」于『$variant』，
                        「回收全局存」于（『$k』附（「整数表示」于（「项」中「零」）））
                    】）
          】）））
也。
