寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。

。
寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。

寻观「拓展库」之「癸象工具」之「总集」之书。

寻观「拓展库」之「顺序标识符」之「顺序标识符」之书。

寻观「编译器核心」之「编译步骤」之「总体过程」之「编译过程工具」之书。

寻观「编译器核心」之「编译步骤」之「代码生成」之「低级虚拟机」之「代码生成工具」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「低级虚拟机」之「直接代码生成」之书。

「尾调用返回」乃化「字符串」而「字符串」也。
「尾调用返回」者会「名」而
  『ret i128 %"』附「名」附『"』也。

「代码生成解绑」乃承「甲」而化「字符串」而化「表达式」而化（化「字符串」而化「表达式」而「甲」）而「甲」也。
「代码生成解绑」者会「当前续延名」而会「式」而会「继续」而
  虑「无」者「编译调试打印行」于『codegen_perf』于（会「无」而『正在解绑』）而
  虑「名及后式」者（「解构抽象」于（「更新可能绑定名特殊变换」
        于（会「名」而（「标识符转义」于（「名」附『_』附「当前续延名」）））于「式」
    ））而 「：强制更新名称：」
    虑「无」者「编译调试打印行」于『codegen_perf』于（会「无」而『解绑完成』）而
    「继续」于（「名及后式」中「零」）于（「名及后式」中「一」）也。

「代码生成」乃化「字符串」 「：用来防止重复变量：」而
  化（化（「列」于「字符串」）而「有」） 「：写全局文件：」而
  化
    「表达式」 「：待变换的式子：」
而（「列」于「字符串」） 「：生成的代码：」
也。
「代码生成」者会「保留续延名」而会「写出」而会「式」而
  虑「递归」者（化「表达式」而（「列」于「字符串」）也会「后式」而「代码生成」于「保留续延名」于「写出」于「后式」）而
    虑「保留字段」者「下个字符序数」于『_保留_』而

    虑「解绑」者（化「表达式」而化（化「字符串」而化「表达式」而（「列」于「字符串」））而（「列」于「字符串」）也
        会「待解绑」而会「继续」而
          「代码生成解绑」授以（「列」于「字符串」）于「保留续延名」于「待解绑」于「继续」
    ）而

    虑「读名」者「读取直接变量」而

    虑「无」者「编译调试打印行」于『codegen_result_pre』于（会「无」而『代码生成中：』）而
    虑「无」者「编译调试打印行」于『codegen_result_pre』于（会「无」而『代码生成中：』附（「表达式表示」于「式」））
    而
    虑「转换结果」者（「尝试运行」授以（「列」于「字符串」））
      于（会「无」而
        鉴「式」而
          有（「式节点」于「内联虑」于（（「列」【「当前」，「下个」】）））则（「解绑」于「下个」
            于（会「后名」而会「后下个」而
              「附加」于（「调试写」于（会「无」而（「列」【「后名」，『 = 』，「表达式表示」于「当前」】）））
                于（「附加」于（「直接代码生成」于「保留续延名」于「写出」于「后名」于「当前」）
                  于（「递归」于「后下个」））））
          或有（「式节点」于「顺序执行节点」于（（「列」【「当前」，「下个」】）））则（（「附加」
                于（「调试写」于（会「无」而（（「列」【（「表达式表示」于「当前」）】））））
                于（「附加」于（「直接代码生成」于「保留续延名」于「写出」于「保留字段」于「当前」）
                于（「递归」于「下个」））

              「： 鉴当前而
                                    有（式节点于（拉姆达抽象续延无绑定于「续延名」）于「拉参」衔【】）则
                                        （
                                                    （内部块写出于（（调试写于（会无而『拉姆达抽象续延无绑定：』衔续延名衔【】））接
                                                    『"』衔续延名衔『_进入标签":「：换行：」』衔
                                                    （递归于「拉参」）））；
                                            （（调试写于（会无而『拉姆达抽象续延：』衔续延名衔【】））接
                                            （递归于下个））
                                        ）
                                    或有「其他」则
                                        （
                                            （调试写于（会无而（【表达式表示于当前】）））接（
                                                （「直接代码生成」于写出于保留字段于当前）接
                                                （递归于下个）
                                            ）
                                        ） ：」
            ））
          或有（「式节点」于（「函数调用续延无绑定」于「续延名」）于「罄」）则
            （「列」【（『br label %"』附「续延名」附『_进入标签"』附『「：换行：」』）】）
          或有（「式节点」于（「爻分支节点」）于（「列」【「爻式」，「阳式」，「阴式」】））
          则（虑「爻式名」者「读名」于「爻式」而
              「附加」于（「列」【（『%"』附「保留字段」附『爻" = trunc i128 %"』附「爻式名」附
              『" to i1「：换行：」』附
              『%"』附「保留字段」附『爻为真" = icmp ne i1 %"』附「保留字段」附
                『爻", 0「：换行：」』附
                『br i1 %"』附「保留字段」附『爻为真", label %"』附「保留字段」附
                『真", label %"』附「保留字段」附『假"「：换行：」』附
                『"』附「保留字段」附『真":「：换行：」』）】）
                于（「附加」于（「递归」于「阳式」）于（「附加」
                于（「列」【（『「：换行：」』附『"』附「保留字段」附『假":「：换行：」』）】）
                于（「递归」于「阴式」））））
          或有（「式节点」于「空值节点」于「罄」）则（「列」【『ret void「：换行：」』】）
          或有「其他」则（「发生事故」于『未有代码生成110:』附（「表达式表示」于「式」）
            「： 若（「是直接变量」于「其他」）
                        则（
                            『ret i128 %"』衔（「读取直接变量」于「其他」）衔『"「：换行：」』衔【】
                        ）否则（
                        ） ：」
          ））
            于（会「异常」而「发生事故」于「异常」附『「：换行：」在代码生成』附（「表达式表示」于「式」）附『时』）
    而
    虑「无」者「编译调试打印行」于『codegen_result』于（会「无」而『代码生成完成，长度：』附（「整数表示」
          于（「长度」于「转换结果」））附『   』附（「第N个」于「零」于「转换结果」））而
    虑「无」者「编译调试打印行」于『codegen_result_after』于（会「无」而『代码生成完成，长度：』附（「整数表示」
          于（「长度」于「转换结果」））附『   』附（「表达式表示」于「式」））而
    「转换结果」
也。

「单续延代码生成」乃化「字符串」而化（化（「列」于「字符串」）而「有」） 「：写全局文件：」而
  化「表达式」 「：待变换的式子：」而
  （「列」于「字符串」） 「：生成的代码：」
也。
「单续延代码生成」者会「函数名」而会「写出」而会「式」而
  （鉴「式」而
    有（「式节点」于（「拉姆达抽象续延无绑定」于「续延名」）于（（「列」【「拉参」】）））
    则（虑「无」者
          「编译调试打印行」于
          『codegen_result_cont』
          于（会「无」而『正在进行单续延代码生成：』附「续延名」）
        而
        「附加」
        于（「调试写」于（会「无」而（（「列」【（『拉姆达抽象续延无绑定：』附「续延名」）】））））
        于（「附加」
          于（「列」【（『"』附「续延名」附『_进入标签":「：换行：」』）】）
          于（「代码生成」于「函数名」附『_』附「续延名」于「写出」于「拉参」）））
    或有「其他」则（「发生事故」于『期待无绑定续延，得到了』附（「表达式表示」于「式」）））也。

「单函数代码生成」乃化（化（「列」于「字符串」）而「有」） 「：写全局文件：」而
  化「字符串」 「：当前路径：」而
  化（「字符串」合「爻」合「表达式」） 「：待变换的式子：」而
  「有」 「：生成的代码：」
也。
「单函数代码生成」者会「写出」而会「当前路径」而会「名及式」而
  虑「函数名」者「名及式」中「零」而
  虑「式」者「名及式」中「二」而
  （鉴「式」而
    有（「式节点」于（「表达式树组节点」于「罄」）于「函数式」）则（
      「： 虑内部块引用者新引用授以字符串列列于【】而
                                虑内部块写出者（遇字符串列者甲而写引用于「内部块引用」于（甲衔（读引用于内部块引用）））而 ：」
      虑「内部块引用」者「新引用」授以（「整数」）于「零」而
      虑「内部块写出」者（化（「列」于「字符串」）而「有」也（会「新输出」而
            （虑「当前序数」者「读引用」于「内部块引用」而
              虑「无」者「写引用」于「内部块引用」于（「加」于（「当前序数」）于「一」）而
              虑「文件名」者（「获取输出文件路径」于「当前路径」）附『.代码生成片段.』附
                  「函数名」附『.』附（「整数表示」于「当前序数」）附『.txt』而
              「文件系统」之「写文件」于「文件名」于（「串组合并」于（「新输出」）））））而
      虑「无」者（（「打表态射」授以「表达式」授以「有」）于「函数式」
        于（会「当前」而「内部块写出」于（「单续延代码生成」于「函数名」于「写出」于「当前」）））而
      虑「无」者「编译调试打印行」于『codegen_result』于（会「无」而『准备合成内部代码！』附（「整数表示」
            于（「读引用」于「内部块引用」）））而
      虑「无」者「写出」于（「包裹函数体前」于（「名及式」中「一」）于「函数名」）而
      虑「无」者（（「打表」授以「有」）于（「读引用」于「内部块引用」）
        于（会「当前序数」而
          虑「文件名」者（「获取输出文件路径」于「当前路径」）附『.代码生成片段.』附「函数名」
          附『.』附（「整数表示」于「当前序数」）附『.txt』而
          虑「文件内容」者「文件系统」之「读文件」于「文件名」而
          虑「无」者「文件系统」之「删文件」于「文件名」而
          「写出」于（（「列」【「文件内容」】））））而
      虑「无」者「写出」于（「包裹函数体后」）而
      虑「无」者「编译调试打印行」于『codegen_result』于（会「无」而『完成合成内部代码！』附（「整数表示」
            于（「读引用」于「内部块引用」）））而
      「元」
      「： 内部代码衔【】 ：」
    ）
    或有「其他」则「发生事故」于『期待拉姆达抽象，却得到了』附（「表达式表示」于「式」））
也。

「低级虚拟机单个文件代码生成顶层」乃化（「列」于「字符串」）而 「：先前编译的全局模块名：」
  化「字符串」而 「：当前文件路径：」
  化（「列」于（「字符串」合「爻」合「表达式」））而 「：待变换式：」
  「字符串」 「：编译模块的源码：」
也。
「低级虚拟机单个文件代码生成顶层」者会「先前模块路径名」而会「当前路径」而会「式」而
  虑「输出引用」者「新引用」授以（「整数」）于「零」而
  虑「无」者「写引用」于「所有文件定义读取」于「罄」而
  虑「无」者「写引用」于「所有文件定义存储」于「罄」而
  虑「写出」者（化（「列」于「字符串」）而「有」也（会「新输出」而
        （虑「当前序数」者「读引用」于「输出引用」而
          虑「无」者「写引用」于「输出引用」于（「加」于（「当前序数」）于「一」）而
          虑「文件名」者（「获取输出文件路径」于「当前路径」）附『.代码生成片段.』附（「整数表示」于「当前序数」）附
              『.txt』而
          「文件系统」之「写文件」于「文件名」于（「串组合并」于（「新输出」）））））而
  虑「无」者（「写出」于（「列」【（（「默认编译模块的信息」于「元」）附『「：换行：」』）】））而
  虑「无」者（「态射」授以（「字符串」合「爻」合「表达式」）授以「有」于「式」
    于（会「名及式」而「单函数代码生成」于「写出」于「当前路径」于「名及式」））而
  虑「无」者「编译调试打印行」于『codegen_result』于（会「无」而『主要代码生成完成！』）而
  虑「无」者（「写出」于（（（「附加」授以「字符串」）于（（「串典态射」授以「整数」授以「字符串」）
            于（会「名」
            而会「参数个数」
            而
            『declare i128 @"』附（「名」）附『"(』附（「间合」于『 ,』
              于（（「打表」授以「字符串」）于「参数个数」于（会「序数」而『i128』）））
              附
              『)「：换行：」』）于（「读引用」于「所有外部调用」））
              于（（「附加」授以「字符串」）于（（「态射」授以「字符串」授以「字符串」）
              于（（「列减」授以「字符串」）于「串相等」于（（「移除重复」授以「字符串」）于「串相等」
              于（（「串联」授以「字符串」）于（（「态射」）于「式」
              于（会「内式」而「读取函数引用依赖」于（「三对子取二」于「内式」）））））
              于（（「态射」）于「式」于「三对子取零」））于（会「名」而
                『declare 』附「函数返回值类型」附『 @"』附（「名」）附『"』附
                「函数参数类型」附
                『「：换行：」』））于（（「附加」授以「字符串」）
                于（（「态射」授以「字符串」授以「字符串」）
                于（（「列减」授以「字符串」）于「串相等」于（（「移除重复」授以「字符串」）于「串相等」
                于（「读引用」于「所有文件定义读取」））
                于（（「移除重复」授以「字符串」）于「串相等」于（「读引用」于「所有文件定义存储」）））
                于（会「全局名」而『@"』附「全局名」附『" = external global i128「：换行：」』））
                于（（「态射」授以「字符串」授以「字符串」）
                于（（「移除重复」授以「字符串」）于「串相等」于（「读引用」于「所有文件定义存储」））
                于（会「全局名」而『@"』附「全局名」附『" = global i128 0「：换行：」』）））））））而
  虑「无」者「编译调试打印行」于『codegen_result』于（会「无」而『准备合成代码！』附（「整数表示」
        于（「读引用」于「输出引用」）））而
  虑「最终输出源码」者（「串组合并」于（（「打表」授以「字符串」）
        于（「读引用」于「输出引用」）于（会「当前序数」
          而
          虑「文件名」者（「获取输出文件路径」于「当前路径」）附『.代码生成片段.』附（「整数表示」于「当前序数」）附
            『.txt』而
          虑「文件内容」者「文件系统」之「读文件」于「文件名」而
          虑「无」者「文件系统」之「删文件」于「文件名」而
          「文件内容」
        ）））而
  虑「无」者「编译调试打印行」于『codegen_result』于（会「无」而『全部代码生成完成！』）而
  （「最终输出源码」）
也。

「低级虚拟机可执行文件代码生成顶层」乃化「字符串」而
  化（「列」于（「字符串」合「爻」合「表达式」））而「字符串」 「：编译模块的源码：」
也。
「低级虚拟机可执行文件代码生成顶层」者会「当前路径」而会「式」而
  「发生事故」于『已经移除437』也。
