寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则构造」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则验证」之书。

「：文言：合流后续唯存一份，私名不得出域。汉语：检查构造器直接生成结果 if，验证器拒绝分支变量泄漏与重复 ID。：」
「必须失败」乃化（化「有」而「有」）而「有」也。
「必须失败」者会「操作」而
 虑「捕获」者「新引用」授以「爻」于「阴」而
 虑「无」者「尝试运行」授以「有」于「操作」于（会「事故」而「写引用」授以「爻」于「捕获」于「阳」）而
 若「读引用」授以「爻」于「捕获」则「元」否则「发生事故」授以「有」于『非法正则没有被拒绝』也。

「原式」者「式节点」于（「拉姆达抽象」于（「多参数形」于「一」））于（「列」【
 「绑定」于「可无」于（「式节点」于「内联虑」于（「列」【
 「式节点」于「爻分支节点」于（「列」【「绑定变量」于「一」，「式节点」于（「整数节点」于「一」）于「罄」，「式节点」于（「整数节点」于「二」）于「罄」】），
 「绑定」于「可无」于（「式节点」于（「解析后外部调用节点无类型」于『豫言_整数加』）于（「列」【「绑定变量」于「一」，「式节点」于（「整数节点」于「一」）于「罄」】））】））】）也。

虑「函数」者「构造统一正则函数」于（『分支测试』与「阴」与「原式」）而
虑「无」者「验证正则函数」于「函数」而
虑「无」者（鉴「函数」中「三」而
 有（「正则段」于（「列」【（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」），（「正则运算」于「后号」于「后类」于「术」于「参」）】）于「终」）则「元」
 或有「其他」则「发生事故」授以「有」于『结果 if 后应只有一份公共后续』）而
虑「无」者「必须失败」于（会「无」而「验证正则函数」于（『越域』与「阴」与（「罄」授以「整数」）与
 （「正则段」于（「列」【「正则如果」于「二」于「正则通用值」于（「正则爻」于「阳」）于
   （「正则段」于（「列」【「正则运算」于「零」于「正则通用值」于「正则造元组」于「罄」】）于（「正则产出」于（「正则局部」于「零」）））于
   （「正则段」于「罄」于（「正则产出」于「正则单元」））】）于（「正则产出」于（「正则局部」于「零」）））与「三」））而
虑「无」者「必须失败」于（会「无」而「验证正则函数」于（『重号』与「阴」与（「列」【「零」】）与
 （「正则段」于（「列」【「正则运算」于「零」于「正则通用值」于「正则造元组」于「罄」】）于（「正则产出」于（「正则局部」于「零」）））与「一」））而
「打印行」于『统一正则构造与作用域验证通过』。
