寻观「标准库」之书。
寻观「编译器核心」之「网页汇编核心」之「完整类型」之书。
寻观「编译器核心」之「网页汇编核心」之「类型作用域」之书。
寻观「编译器核心」之「网页汇编核心」之「复合类型匹配」之书。

「：文言：组内以相对号记，组外以已定身份记；同文同组，异池不可径比。汉语：共享表按完整递归组结构驻留类型身份，身份由组编号与组内位置组成，只能在同一个共享表中比较。：」
「网页类型身份」即「整数」
  合「整数」
也。

「网页共享型表」即「列」于「字符串」也。

「网页规范引用境」即（「列」于「网页类型身份」）
  合「整数」
也。

「网页身份同」乃化「网页类型身份」而化「网页类型身份」而「爻」也。
「网页身份同」者会「甲」而会「乙」而
  「且」于（「等于」于（「甲」中「零」）于（「乙」中「零」））
  于（「等于」于（「甲」中「一」）于（「乙」中「一」））
也。

「网页规范编号文」乃化「网页规范引用境」而化「整数」而「字符串」也。
「网页规范编号文」者会「境」而会「号」而
  若「小于」于「号」于（「境」中「一」）则（
    虑「身」者「第N个」授以「网页类型身份」于「号」于（「境」中「零」）而
    『外[』附（「整数表示」于（「身」中「零」））附『:』附（「整数表示」于（「身」中「一」））附『]』
  ）否则『内[』附（「整数表示」于（「减」于「号」于（「境」中「一」）））附『]』
也。

「网页规范堆文」乃化「网页规范引用境」而化「网页堆型」而「字符串」也。
「网页规范堆文」者会「境」而会「型」而
  鉴「型」而
    有「网页具体堆」于「号」则
      「网页规范编号文」于「境」于「号」
    或有「网页抽象堆」于「抽」则
      『抽[』附（「整数表示」于（「网页抽象堆序」于「抽」））附『]』
也。

「网页规范值文」乃化「网页规范引用境」而化「网页完整值型」而「字符串」也。
「网页规范值文」者会「境」而会「型」而
  鉴「型」而
    有「网页引用值型」于「空」于「堆」则（
      若「空」则『可空(』否则『非空(』）附（「网页规范堆文」于「境」于「堆」）附『)』
    或有「其他」则
      『数[』附（「整数表示」于（「网页完整值类别」于「型」））附『]』
也。

「网页规范字段文」乃化「网页规范引用境」而化「网页字段型」而「字符串」也。
「网页规范字段文」者会「境」而会「域」而
  （若「域」中「零」则『可变(』否则『只读(』）附（
    鉴（「域」中「一」）而
      有「网页整八存储」则『八位』
      或有「网页整十六存储」则『十六位』
      或有「网页普通存储」于「值」则
        「网页规范值文」于「境」于「值」
  ）附『)』
也。

「网页规范值列文」乃
  化「网页规范引用境」而
  化（「列」于「网页完整值型」）而
  「字符串」
也。
「网页规范值列文」者会「境」而会「诸型」而
  『[』附（「间合」
    于『;』
    于（「态射」授以「网页完整值型」授以「字符串」于「诸型」于（会「项」而「网页规范值文」于「境」于「项」）））附『]』
也。

「网页规范复合文」乃化「网页规范引用境」而化「网页复合型」而「字符串」也。
「网页规范复合文」者会「境」而会「型」而
  鉴「型」而
    有「网页函数复合」于「签」则
      『函数(』附（「网页规范值列文」于「境」于（「签」中「零」））附（「网页规范值列文」于「境」于（「签」中「一」））
      附『)』
    或有「网页结构复合」于「域」则
      『结构[』附（「间合」
        于『;』
        于（「态射」授以「网页字段型」授以「字符串」于「域」于（会「项」而「网页规范字段文」于「境」于「项」）））附
          『]』
    或有「网页数组复合」于「域」则
      『数组(』附（「网页规范字段文」于「境」于「域」）附『)』
也。

「网页规范声明文」乃化「网页规范引用境」而化「网页子型声明」而「字符串」也。
「网页规范声明文」者会「境」而会「型」而
  （若「型」中「零」则『终[』否则『开[』）附（「间合」
    于『;』
    于（「态射」授以「整数」授以「字符串」于（「型」中「一」）于（会「项」而「网页规范编号文」于「境」于「项」）））附
      『](』附（「网页规范复合文」于「境」于（「型」中「二」））附『)』
也。

「网页查规范组」乃化「网页共享型表」而化「字符串」而化「整数」而「整数」也。
「网页查规范组」者会「表」而会「文」而会「号」而
  鉴「表」而
    有「罄」则「减」于「零」于「一」
    或有「缀」于「头」于「尾」则
      若「串相等」于「头」于「文」则「号」否则「网页查规范组」于「尾」于「文」
      于（「加」于「号」于「一」）
也。

「网页建立类型身份」乃
  化「网页共享型表」而
  化（「列」于「网页递归型组」）而
  （「网页共享型表」合（「列」于「网页类型身份」））
也。
「网页建立类型身份」者会「原表」而会「组们」而
  虑「域检」者「网页检查类型作用域」于「组们」而
  递归虑「逐组」其化「网页共享型表」而化（「列」于「网页类型身份」）而化（「列」于「网页递归型组」）而（「网页共享型表」
  合（「列」于「网页类型身份」））者会「表」而
  会「诸身」而
  会「余」而
  鉴「余」而
    有「罄」则「表」与「诸身」
    或有「缀」于「组」于「尾」则（
      虑「长」者「长度」于「组」而
      若「等于」于「长」于「零」则
        「逐组」于「表」于「诸身」于「尾」
      否则
        虑「境」者
          （「网页规范引用境」也「诸身」与（「长度」于「诸身」））
        而
        虑「文」者
          『组[』附（「间合」
            于『;』
            于（「态射」授以「网页子型声明」授以「字符串」于「组」于（会「项」而「网页规范声明文」于「境」于「项」）））
            附
              『]』
        而
        虑「旧号」者「网页查规范组」于「表」于「文」于「零」
        而
        虑「号」者
          若「小于」于「旧号」于「零」则「长度」于「表」否则「旧号」
        而
        虑「新表」者
          若「小于」于「旧号」于「零」则「附加」授以「字符串」
          于「表」
          于（「列」【「文」】）
          否则
            「表」
        而
        虑「新身」者
          「态射」授以「整数」授以「网页类型身份」
          于（「整数范围」于「零」于「长」）
          于（会「位」而「号」与「位」）
        而
        「逐组」于「新表」于（「附加」授以「网页类型身份」于「诸身」于「新身」）
        于「尾」
    ）
  而
  「逐组」于「原表」于「罄」于「组们」
也。
