寻观「标准库」之书。

寻观「编译器核心」之「编译步骤」之「总体过程」之「编译过程工具」之书。
寻观「编译器核心」之「编译步骤」之「总体过程」之「编译文件缓存工具」之书。
寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。
寻观「编译器核心」之「编译数据」之「语言服务信息」之书。
寻观「编译器核心」之「编译数据」之「语义标记信息」之书。

寻观「标准库」之书。

寻观「编译器核心」之「编译步骤」之「类型检查」之「文件结构检查」之书。
寻观「编译器核心」之「编译步骤」之「名称解析」之「名称解析」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。

寻观「编译器核心」之「编译步骤」之「代码生成准备变换」之「顶层」之书。

寻观「编译器核心」之「编译步骤」之「语法分析」之「词法解析」之书。

寻观「编译器核心」之「编译步骤」之「语法分析」之「抽象语法分析」之书。

寻观「编译器核心」之「编译步骤」之「语法分析」之「导入预测」之书。

寻观「编译器核心」之「编译步骤」之「类型标注擦除」之「转换擦除顶层」之书。
寻观「编译器核心」之「编译步骤」之「类型标注擦除」之「隐式参数擦除」之书。
寻观「编译器核心」之「编译步骤」之「闭包转换」之「闭包转换顶层」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「顶层」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「续延传递变换」之书。

寻观「编译器核心」之「编译步骤」之「代码生成」之「代码生成入口」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「主程序生成入口」之书。
「： 寻观「编译器核心」之「编译步骤」之「代码生成」之「代码生成」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「代码生成工具」之书。 ：」

寻观「编译器核心」之「编译步骤」之「优化」之「跨文件优化」之「跨文件优化入口」之书。

寻观「编译器核心」之「编译数据」之「编译配置」之「全局配置」之书。

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

「执行依赖分析」乃化「字符串」而「列」于「字符串」也。
「执行依赖分析」者会「路径」而
  若「或者」于（「读引用」于「不加载缓存」）于（「信息需要更新」于「路径」于『文件依赖』）
  则
    （虑「无」者「粗略调试打印行」于（会「无」而『| 正在进行依赖分析： 』附「路径」）而
      虑「所有依赖」者「寻找可能导入文件顶层」于「路径」而
      虑「无」者「粗略调试打印行」于（会「无」而『| 完成，正在写缓存： 』附「路径」）而
      虑「无」者「写串列缓存」于「路径」于『文件依赖』于「所有依赖」而
      「所有依赖」
    ）
  否则
    （虑「无」者「粗略调试打印行」于（会「无」而『| 文件依赖缓存存在： 』附「路径」）而
      虑「依赖缓存」者（「读串列缓存」于「路径」于『文件依赖』）而
      「依赖缓存」
    ）也。

「执行语法分析」乃化「字符串」而「有」也。
「执行语法分析」者会「路径」而
  若「或者」于（「读引用」于「不加载缓存」）于（「或者」于（「信息需要更新」于「路径」于『抽象语法』）
    于（「信息需要更新」于「路径」于『语义标记』））
  则
    （虑「无」者「粗略调试打印行」于（会「无」而『| 开始语法分析： 』附「路径」）而
      虑「源码」者「文件系统」之「读文件」于「路径」而
      虑「结果」者「抽象语法解析编译单元顶层及语义标记」于「路径」
      于（「词法解析顶层」于「源码」）而
      虑「语义标记们」者「定位语义标记」于「源码」于（「结果」中「一」）而
      虑「无」者「粗略调试打印行」于（会「无」而『| 语法分析完成，正在保存结果： 』附「路径」）而
      虑「无」者「写抽象语法」于「路径」于（「结果」中「零」）而
      虑「无」者「写语义标记信息」于（「获取信息缓存文件路径」于「路径」于『语义标记』）于「路径」于「语义标记们」而
      虑「无」者「粗略调试打印行」于（会「无」而『| 全部完成： 』附「路径」）而
      「元」
    ）
  否则
    （虑「无」者「粗略调试打印行」于（会「无」而『| 抽象语法缓存存在： 』附「路径」）而「元」）也。

「执行类型检查并擦除」乃化「字符串」而「有」也。
「执行类型检查并擦除」者会「路径」而
  若「或者」于（「读引用」于「不加载缓存」）于（「或者」
    于（「信息需要更新」于「路径」于『语言服务』）
    于（「或者」于（「信息需要更新」于「路径」于『检查后定义』）于（「信息需要更新」于「路径」于『擦除后形式』）））
  则
    （虑「无」者「粗略调试打印行」于（会「无」而『| 开始加载缓存： 』附「路径」）而
      虑「抽象语法」者（「读抽象语法」于「路径」）而
      虑「无」者「准备语言服务信息」于「路径」而
      虑「无」者「粗略调试打印行」于（会「无」而『| 正在名称解析： 』附「路径」）而
      虑「已解析语法」者「进行文件名称解析顶层」于「路径」于「抽象语法」而
      虑「无」者「粗略调试打印行」于（会「无」而『| 正在类型检查： 』附「路径」）而
      虑「检查结果」者「进行文件结构检查顶层」于「路径」于「已解析语法」而
      虑「检查后定义」者「检查结果」中「零」而
      虑「无」者「粗略调试打印行」于（会「无」而『| 类型检查完成，准备保存数据： 』附「路径」）而
      虑「无」者「写语言服务信息」于（「获取信息缓存文件路径」于「路径」于『语言服务』）而
      虑「无」者「写检查后定义」于「路径」于「检查后定义」而
      虑「无」者「粗略调试打印行」于（会「无」而『| 正在转换擦除： 』附「路径」）而
      虑「转换擦除结果」者（「转换擦除顶层」于「路径」于「检查结果」中「一」）而
      虑「变换结果」者（「隐式参数擦除顶层」于「转换擦除结果」）而
      虑「无」者「粗略调试打印行」于（会「无」而『| 转换擦除完成，准备保存数据： 』附「路径」）而
      虑「无」者「写擦除后形式」于「路径」于「变换结果」而
      虑「无」者「粗略调试打印行」于（会「无」而『| 全部完成： 』附「路径」）而
      「元」
    ）
  否则
    （虑「无」者「粗略调试打印行」于（会「无」而『| 类型检查缓存存在： 』附「路径」）而「元」）也。

「执行跨模块优化」乃化「字符串」而「有」也。
「执行跨模块优化」者会「路径」而
  若「或者」于（「读引用」于「不加载缓存」）于（「信息需要更新」于「路径」于『优化后形式』）
  则
    （虑「无」者「粗略调试打印行」于（会「无」而『| 开始加载缓存： 』附「路径」）而
      虑「擦除后形式」者（「读擦除后形式」于「路径」）而
      虑「无」者「粗略调试打印行」于（会「无」而『| 正在优化： 』附「路径」）而
      虑「优化结果」者（「所有跨文件优化步骤」于「路径」于「擦除后形式」）而
      虑「无」者「粗略调试打印行」于（会「无」而『| 跨模块优化完成，准备保存数据： 』附「路径」）而
      虑「无」者「写优化后形式」于「路径」于「优化结果」而
      虑「无」者「粗略调试打印行」于（会「无」而『| 全部完成： 』附「路径」）而
      「元」
    ）
  否则
    （虑「无」者「粗略调试打印行」于（会「无」而『| 跨文件优化缓存存在： 』附「路径」）而「元」）也。

「执行闭包转换」乃化「字符串」而「有」也。
「执行闭包转换」者会「路径」而
  若「或者」于（「读引用」于「不加载缓存」）于（「信息需要更新」于「路径」于『闭包形式』）
  则
    （虑「闭包转换后语法」者「前闭包转换顶层」于「路径」于（「读优化后形式」于「路径」）而
      虑「无」者「写树组缓存」于「路径」于『闭包形式』于（「闭包转换后语法」）而
      「元」
    ）
  否则
    （虑「无」者「粗略调试打印行」于（会「无」而『| 闭包转换缓存存在： 』附「路径」）而「元」）也。

「执行求值正则变换」乃化「字符串」而「有」也。
「执行求值正则变换」者会「路径」而
  若「或者」于（「读引用」于「不加载缓存」）于（「信息需要更新」于「路径」于『求值正则形式』）
  则
    （虑「求值正则形式」者「进行无类型求值正则变换顶层」于「路径」
      于（「读树组缓存」于「路径」于『闭包形式』）而
      虑「无」者「写树组缓存」于「路径」于『求值正则形式』于「求值正则形式」而
      「元」
    ）
  否则
    （虑「无」者「粗略调试打印行」于（会「无」而『| 求值正则变换缓存存在： 』附「路径」）而「元」）也。

「执行代码生成」乃化「字符串」而「有」也。
「执行代码生成」者会「路径」而
  若「或者」于（「读引用」于「不加载缓存」）于（「信息需要更新」于「路径」于『代码生成形式』）
  则
    （虑「无」者「粗略调试打印行」于（会「无」而『| 开始加载缓存： 』附「路径」）而
      虑「求值正则形式」者（「读树组缓存」于「路径」于『求值正则形式』）而
      虑「无」者「粗略调试打印行」于（会「无」而『| 缓存加载完成： 』附「路径」）而
      虑「代码生成前形式」者（「代码生成准备变换顶层」于「路径」于「求值正则形式」）而
      虑「无」者（若「读引用」于「保存编译期中间产物」
      则
        （「写树组缓存」于「路径」于『代码生成前形式』于「代码生成前形式」）
      否则
        （「元」））而
      虑「无」者「粗略调试打印行」于（会「无」而『| 代码生成准备完成： 』附「路径」附『 共』附（「整数表示」
            于（「长度」于「代码生成前形式」））附『个函数』
      ）而
      虑「无」者「单个文件代码生成顶层」于（「读引用」于「文件编译顺序」）于「路径」
          于（「获取输出文件路径」于「路径」）于
            「代码生成前形式」而
      虑「无」者「粗略调试打印行」于（会「无」而『| 代码生成完成，准备保存数据： 』附「路径」）而
      虑「无」者「写代码生成形式缓存」于「路径」而
      「元」
    ）
  否则
    （虑「无」者「粗略调试打印行」于（会「无」而『| 代码生成缓存存在： 』附「路径」）而「元」）也。
