寻观「标准库」之书。
寻观「编译器核心」之「网页汇编核心」之「完整类型」之书。
寻观「编译器核心」之「网页汇编核心」之「完整类型读取」之书。
寻观「编译器核心」之「网页汇编核心」之「完整类型栈」之书。
寻观「编译器核心」之「网页汇编核心」之「复合类型匹配」之书。
寻观「编译器核心」之「网页汇编核心」之「类型作用域」之书。
寻观「编译器核心」之「网页汇编核心」之「类型段验证」之书。
寻观「编译器核心」之「网页汇编核心」之「二进制读取」之书。

「：文言：无注者唯数与向量，未知不妄定为整数。汉语：无类型注解的选择拒绝引用，保留不可达未知类型；带注解的选择分别检查两个候选值，结果按声明类型拓宽。：」
「网页选择合型」乃化「网页验栈型」而化「网页验栈型」而「网页验栈型」也。
「网页选择合型」者会「甲」而会「乙」而
  虑「果」者
    （
      鉴「甲」而
        有「网页未知栈型」则「乙」
        或有「网页已知栈型」于「甲型」则（
          鉴「乙」而
            有「网页未知栈型」则「甲」
            或有「网页已知栈型」于「乙型」则
              若「等于」
                于（「网页完整值类别」于「甲型」）
                于（「网页完整值类别」于「乙型」）则「甲」
              否则
                「发生事故」于『未标型选择的候选值类型不同』
        ）
    ）而
  鉴「果」而
    有「网页未知栈型」则「果」
    或有「网页已知栈型」于「型」则
      若「小于」于（「网页完整值类别」于「型」）于「五」则「果」否则「发生事故」于『未标型选择不能处理引用』
也。

「网页验证选择指令」乃
  化「网页类型上下文」而
  化「爻」而
  化「网页读取器」而
  化「网页完整类型栈」而
  「网页完整类型栈」
也。
「网页验证选择指令」者会「境」而会「标型」而会「器」而会「栈」而
  虑「堆合」者
    （「网页堆匹配器」也会「源」而会「目」而「网页上下文堆相容」于「境」于「源」于「目」）而
    虑「前」者「网页类型栈取期望」于「堆合」于「栈」于「网页整三二型」而
    若「标型」则（
      虑「数」者「网页读自然」于「器」而
      若「非」于（「等于」于「数」于「一」）则
        「发生事故」于『选择注解必须恰有一个结果类型』
      否则
        虑「型」者「网页读完整值型」于「器」
        而
        虑「检」者
          「网页检查值型作用域」
            于（「长度」授以「网页子型声明」于（「境」中「零」））
            于「型」
        而
        虑「取」者
          「网页类型栈取列」于「堆合」于「前」于（「列」【「型」，「型」】）
        而
        「网页类型栈压列」于「取」于（「列」【「型」】）
    ）否则
      虑「乙」者「网页类型栈取值」于「前」
      而
      虑「甲」者「网页类型栈取值」于（「乙」中「一」）而
      「网页类型栈压值」于（「甲」中「一」）于（「网页选择合型」于（「甲」中「零」）于（「乙」中「零」））
也。
