寻观「标准库」之书。
寻观「编译器核心」之「网页汇编核心」之「完整类型」之书。
寻观「编译器核心」之「网页汇编核心」之「复合类型匹配」之书。
「：文言：可写者不可狭其型，受参宽而返果窄。汉语：检查可变字段不变、只读字段协变、函数参数逆变和结果协变，具体堆类型留给上下文匹配器。：」
「检查」乃化「爻」而「有」也。
「检查」者会「真」而若「真」则「元」否则「发生事故」于『复合类型匹配测试失败』也。
「堆合」乃「网页堆匹配器」也。
「堆合」者会「源」而会「目」而鉴「源」而有「网页抽象堆」于「甲」则（鉴「目」而有「网页抽象堆」于「乙」则「网页抽象堆相容」于「甲」于「乙」或有「其他」则「阴」）或有「其他」则「阴」也。
「宽」者「网页引用值型」于「阳」于（「网页抽象堆」于「网页任意堆」）也。
「窄」者「网页引用值型」于「阴」于（「网页抽象堆」于「网页结构堆」）也。
「空窄」者「网页引用值型」于「阳」于（「网页抽象堆」于「网页结构堆」）也。
「域」乃化「爻」而化「网页完整值型」而「网页字段型」也。
「域」者会「变」而会「型」而「变」与（「网页普通存储」于「型」）也。
「函」乃化「网页完整值型」而化「网页完整值型」而「网页复合型」也。
「函」者会「参」而会「果」而「网页函数复合」于（（「列」【「参」】）与（「列」【「果」】））也。
「检查」于（「网页完整值相容」于「堆合」于「窄」于「宽」）。
「检查」于（「非」于（「网页完整值相容」于「堆合」于「宽」于「窄」））。
「检查」于（「网页完整值相容」于「堆合」于「窄」于「空窄」）。
「检查」于（「非」于（「网页完整值相容」于「堆合」于「空窄」于「窄」））。
「检查」于（「非」于（「网页完整值相容」于「堆合」于「网页整三二型」于「网页浮三二型」））。
「检查」于（「非」于（「网页完整值相容」于「堆合」于「网页整六四型」于「网页整三二型」））。
「检查」于（「网页字段相容」于「堆合」于（「域」于「阴」于「窄」）于（「域」于「阴」于「宽」））。
「检查」于（「非」于（「网页字段相容」于「堆合」于（「域」于「阳」于「窄」）于（「域」于「阳」于「宽」）））。
「检查」于（「网页字段相容」于「堆合」于（「域」于「阳」于「宽」）于（「域」于「阳」于「宽」））。
「检查」于（「非」于（「网页字段相容」于「堆合」于（「域」于「阴」于「宽」）于（「域」于「阳」于「宽」）））。
「检查」于（「非」于（「网页存储相容」于「堆合」于「网页整八存储」于「网页整十六存储」））。
「检查」于（「非」于（「网页存储相容」于「堆合」于「网页整八存储」于（「网页普通存储」于「网页整三二型」）））。
「检查」于（「网页复合相容」于「堆合」于（「函」于「宽」于「窄」）于（「函」于「窄」于「宽」））。
「检查」于（「非」于（「网页复合相容」于「堆合」于（「函」于「窄」于「宽」）于（「函」于「宽」于「窄」）））。
「检查」于（「非」于（「网页值列相容」于「堆合」于（「列」【「窄」】）于「罄」））。
「检查」于（「网页复合相容」于「堆合」于（「网页结构复合」于（「列」【「域」于「阴」于「窄」，「域」于「阳」于「网页整六四型」】））于（「网页结构复合」于（「列」【「域」于「阴」于「宽」】）））。
「检查」于（「非」于（「网页复合相容」于「堆合」于（「网页结构复合」于「罄」）于（「网页结构复合」于（「列」【「域」于「阴」于「宽」】））））。
「检查」于（「网页复合相容」于「堆合」于（「网页数组复合」于（「域」于「阴」于「窄」））于（「网页数组复合」于（「域」于「阴」于「宽」）））。
「检查」于（「非」于（「网页复合相容」于「堆合」于（「网页数组复合」于（「域」于「阳」于「窄」））于（「网页数组复合」于（「域」于「阳」于「宽」））））。
「检查」于（「非」于（「网页复合相容」于「堆合」于（「网页数组复合」于（「域」于「阴」于「宽」））于（「网页结构复合」于（「列」【「域」于「阴」于「宽」】））））。
