寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编整数专门化」之书。
「：文言：整虽裸行，极值、先后及泛型之约仍守。汉语：覆盖有符号比较边界、i64 回绕、非尾递归整数内核、泛型回退，以及内联穿过 let 时的副作用和异常顺序。：」
「验」乃化「爻」而「有」也。
「验」者会「真」而若「真」则「元」否则「发生事故」授以「有」于『整数专门化回归失败』也。
「极大」者「整数操作」之「理解整数」于『9223372036854775807』也。
「极小」者「整数操作」之「理解整数」于『-9223372036854775808』也。
「验」于（「小于」于「极小」于「极大」）。
「验」于（「非」于（「小于」于「极大」于「极小」））。
「验」于（「非」于（「小于」于「极小」于「极小」））。
「进」乃化「整数」而化「整数」而「整数」也。
「进」者会「数」而会「值」而若「等于」于「数」于「零」则「加」于「值」于「零」否则
 「加」于（「进」于（「减」于「数」于「一」）于「值」）于「一」也。
「验」于（「等于」于（「进」于「四」于（「减」于「极大」于「二」））于（「加」于「极小」于「一」））。
「验」于（「等于」于（「进」于「一零」于「七」）于「一七」）。
「通用」乃承「甲」而化「整数」而化「甲」而「甲」也。
「通用」者受「甲」而会「数」而会「值」而若「等于」于「数」于「零」则「值」否则「通用」授以「甲」于（「减」于「数」于「一」）于「值」也。
「验」于（「串相等」于（「通用」授以「字符串」于「一零」于『仍为字符串』）于『仍为字符串』）。
「：文言：未行之支，不可先验其类。汉语：低层原语的整数要求只在对应分支执行时成立；入口必须允许非整数走通用后备体。：」
「分支保留」乃承「甲」而化「整数」而化「甲」而「甲」也。
「分支保留」者受「甲」而会「数」而会「值」而若「等于」于「数」于「零」则「值」否则
 虑「步」者「一」而「分支保留」授以「甲」于（「减」于「数」于「一」）于（「甲」也《《外调》》名『豫言_整数加』传「值」与「步」）也。
「验」于（「串相等」于（「分支保留」授以「字符串」于「零」于『不可提前拆箱』）于『不可提前拆箱』）。
「验」于（「等于」于（「分支保留」授以「整数」于「三」于「四」）于「七」）。
「：文言：数组之验亦不得先于未行之支。汉语：数组入口守卫必须允许非数组走未读取数组的后备分支。：」
「分支读组」乃承「甲」而化「整数」而化「甲」而「整数」也。
「分支读组」者受「甲」而会「数」而会「值」而若「等于」于「数」于「零」则「零」否则
 虑「位」者「零」而虑「取」者（「整数」也《《外调》》名『豫言_读取引用数组』传「值」与「位」）而
 「加」于「取」于（「分支读组」授以「甲」于（「减」于「数」于「一」）于「值」）也。
「验」于（「等于」于（「分支读组」授以「字符串」于「零」于『不是数组』）于「零」）。
「验」于（「等于」于（「分支读组」授以（「数组引用类」于「整数」）于「二」于（「新数组引用」授以「整数」于「七」于「一」））于「一四」）。
「大值递归」乃化「整数」而「整数」也。
「大值递归」者会「数」而若「等于」于「数」于「零」则「九二二三三七二零三六八五四七七五八零五」否则「加」于（「大值递归」于（「减」于「数」于「一」））于「一」也。
「验」于（「等于」于（「大值递归」于「四」）于（「加」于「极小」于「一」））。
「序」者「新引用」授以「字符串」于『』也。
「记」乃化「字符串」而化「整数」而「整数」也。
「记」者会「名」而会「值」而（「写引用」于「序」于（（「读引用」于「序」）附「名」）；「值」）也。
「验」于（「等于」于（「加」于（「记」于『甲』于「三」）于（「记」于『乙』于「四」））于「七」）。
「验」于（「串相等」于（「读引用」于「序」）于『甲乙』）。
「写引用」于「序」于『』。
「已捕」者「新引用」授以「爻」于「阴」也。
「尝试运行」授以「有」于（会「无」而虑「果」者「加」于（「发生事故」授以「整数」于『应止』）于（「记」于『不应执行』于「一」）而「元」）于
 （会「错」而「写引用」于「已捕」于（「串相等」于「错」于『应止』））。
「验」于（「且」于（「读引用」于「已捕」）于（「串相等」于（「读引用」于「序」）于『』））。
「：文言：未受整术之参，不可强作整数。汉语：直接验证 ANF 中只有第一个参数受整数约束时，泛型第二参数不会被误判为整数。：」
「泛函」乃「正则函数」也。
「泛函」者『泛函』与「阴」与（「列」【「零」，「一」】）与
 （「正则段」于（「列」【「正则运算」于「二」于「正则爻值」于（「正则原语」于『豫言_整数大于』）于（「列」【「正则局部」于「零」，「正则整数」于「零」】）】）于（「正则产出」于（「正则局部」于「一」）））与「三」也。
「验」于（「非」于（「可专整函数」于「泛函」））。
「打印行」于『整数专门化通过』。
