寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「编译器核心」之「编译步骤」之「优化」之「跨文件优化」之「去柯里化」之书。
「：文言：满参乃改，少参、逸出、过施皆守旧。汉语：直接检查中间树，覆盖前端不接受但优化器仍须安全处理的部分应用与过应用。：」
「验」乃化「爻」而「有」也。
「验」者会「真」而若「真」则「元」否则「发生事故」授以「有」于『去柯里化边界失败』也。
「施」乃化「表达式」而化「表达式」而「表达式」也。
「施」者会「函」而会「参」而「分组函数调用式」于（「多参数形」于「一」）于「函」于（「列」【「参」】）也。
「自」者「自由变量」于『自』也。
「甲」者「自由变量」于『甲』也。
「乙」者「自由变量」于『乙』也。
「半」者「施」于「自」于「甲」也。
「满」者「施」于「半」于「乙」也。
「造」乃化「表达式」而「表达式」也。
「造」者会「体」而「式节点」于「递归节点」于（「列」【
 「式节点」于「擦除后类型节点」于「罄」，
 「进行抽象」于『自』于（「去柯里化包装」于（「列」【『甲』，『乙』】）于「体」）】）也。
「为原递归」乃化「表达式」而「爻」也。
「为原递归」者会「式」而鉴「式」而
 有（「式节点」于「递归节点」于「参」）则「阳」或有「其他」则「阴」也。
「变」乃化「表达式」而「表达式」也。
「变」者会「体」而「去柯里化顶层」于『回归』于（「造」于「体」）也。
「验」于（「为原递归」于（「变」于「半」））。
「验」于（「为原递归」于（「变」于（「施」于「满」于「甲」）））。
「验」于（「为原递归」于（「变」于（「式节点」于「元组构造节点」于（「列」【「自」，「满」】））））。
「验」于（「为原递归」于（「变」于「甲」））。
鉴「变」于「满」而
 有（「式节点」于「内联虑」于（「列」【「工」，「包装」】））则（
  鉴「工」而有（「式节点」于（「函数全局声明节点」于「名」）于（「列」【「拉工」】））则（
   鉴「拉工」而有（「式节点」于（「拉姆达抽象」于（「多参数形」于「二」））于「体」）则「元」
   或有「其他」则「发生事故」授以「有」于『未生成二参数内工』）
  或有「其他」则「发生事故」授以「有」于『递归内工丢失』）
 或有「其他」则「发生事故」授以「有」于『完整自调用未优化』。
「打印行」于『去柯里化边界通过』。
