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

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

寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「命名环境术」之书。

寻观「编译器核心」之「编译数据」之「操作符」之「操作符数据结构」之书。

寻观「编译器核心」之「编译步骤」之「优化」之「基础工具」之「定义查找」之书。
寻观「编译器核心」之「编译步骤」之「优化」之「基础工具」之「表达式带定义操作」之书。

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

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

「：文言：只录小函与别名，勿载诸卷巨树。汉语：内联索引只保存受限的小型封装和文件别名，避免为每次引用加载整个依赖模块。：」
「去无用递归壳」乃化「表达式」而「表达式」也。
「去无用递归壳」者会「式」而
  鉴「式」而
    有（「式节点」于「递归节点」于（「列」【「型」，「绑定式」】））则
      若「抽象是有名的」于「绑定式」则「式」否则「解构无名抽象」于「绑定式」
    或有「其他」则「式」
也。

「薄函体」乃化「表达式」而「爻」也。
「薄函体」者会「式」而
  鉴「式」而
    有（「式节点」于（「拉姆达抽象」于（「多参数形」于「一」））于（「列」【「体」】））则「薄函体」
      于「体」
    或有（「绑定」于「名」于「体」）则「薄函体」
      于「体」
    或有（「式节点」于（「解析后外部调用节点无类型」于「名」）于「参数」）则「阳」
    或有（「式节点」于（「展开后内建节点」于「量」）于「参数」）则「阳」
    或有「其他」则「阴」
也。

「：文言：小工直行者可展，递归分支者勿入。汉语：允许有顺序 let 和调用的小型直线函数进入内联索引；限制结构及大小，避免递归展开和大函数复制。实际应用仍由原有 beta 变换维持求值次序。：」
「直线小函」乃化「表达式」而「爻」也。
「直线小函」者会「式」而
  鉴「式」而
    有（「绑定」于「名」于「体」）则「直线小函」于「体」
    或有（「绑定变量」于「号」）则「阳」
    或有（「自由变量」于「名」）则「阳」
    或有（「式节点」于「节点」于「参」）则（
      虑「可」者鉴「节点」而
        有（「拉姆达抽象」于（「多参数形」于「一」））则「阳」
        或有「内联虑」则「阳」
        或有「函数调用」则「阳」
        或有（「参数节点」于「形」）则「阳」
        或有（「文件定义引用节点」于「卷」于「名」于「序」）则「阳」
        或有（「函数引用节点」于「名」）则「阳」
        或有（「自由变量标注节点」于「名」）则「阳」
        或有（「展开后内建节点」于「量」）则「阳」
        或有（「解析后外部调用节点无类型」于「名」）则「阳」
        或有「其他」则
          「阴」而
      若「可」则「全部符合」授以「表达式」于「直线小函」于「参」否则「阴」
    ）
也。

「：文言：新增之展，唯取连参。汉语：扩大内联只针对至少两层参数，集中消除部分应用闭包；单参数函数保留原策略，避免无此收益却改变递归树的引擎优化形态。：」
「至少二参小函」乃化「表达式」而「爻」也。
「至少二参小函」者会「式」而
  鉴「式」而
    有（「式节点」
      于（「拉姆达抽象」于（「多参数形」于「一」））
      于（「列」【（「绑定」于「名」于（「式节点」于（「拉姆达抽象」于（「多参数形」于「一」））于「内参」））】））则
        「阳」
    或有「其他」则「阴」
也。

「：文言：造组薄壳虽独参，常数之虑可随展。汉语：只放宽最终直接构造数组、前置 let 仅绑定整数字面量的薄封装，使局部数组分析看见分配点；不扩大一般单参数函数内联。：」
「数组构造薄函」乃化「表达式」而「爻」也。
「数组构造薄函」者会「式」而
  鉴「式」而
    有（「式节点」于（「拉姆达抽象」于「形」）于（「列」【「体」】））则
      「数组构造薄函」于「体」
    或有（「绑定」于「名」于「体」）则
      「数组构造薄函」
        于「体」
    或有（「式节点」于「内联虑」于（「列」【（「式节点」于（「整数节点」于「数」）于「罄」），「体」】））则
      「数组构造薄函」于「体」
    或有（「式节点」于（「解析后外部调用节点无类型」于『豫言_新建引用数组』）于「参」）则「阳」
    或有「其他」则「阴」
也。

「：文言：工留本卷，只录其门。汉语：静态函数声明保留在定义模块；索引只提取无捕获包装，供调用者消除逐参数应用，不复制递归函数体。：」
「内联候选去壳」乃化「表达式」而「表达式」也。
「内联候选去壳」者会「式」而
  鉴「式」而
    有（「式节点」于「内联虑」于（「列」【（「式节点」于（「函数全局声明节点」于「名」）于「参」），「绑定体」】））则
      若「抽象是有名的」于「绑定体」则「式」否则「解构无名抽象」于「绑定体」
    或有「其他」则
      「去无用递归壳」于「式」
也。

「：文言：独参原样授静工者，展其门而不展其体。汉语：只内联单参数、无捕获、无前置操作的静态转交包装；实参恰好是唯一绑定参数，不扩展一般单参数内联，不复制递归体。：」
「静态单参转交」乃化「表达式」而「爻」也。
「静态单参转交」者会「式」而
  鉴「式」而
    有（「式节点」于（「拉姆达抽象」于（「多参数形」于「一」））于（「列」【（「绑定」于「参名」于「体」）】））则（
      鉴「体」而
        有（「式节点」
          于「函数调用」
          于（「列」【
            （「式节点」于（「函数引用节点」于「函名」）于「罄」），
            （「式节点」于（「参数节点」于（「多参数形」于「一」））于（「列」【（「绑定变量」于「一」）】））
          】））则「阳」
        或有「其他」则「阴」
    ）
    或有「其他」则「阴」
也。

「原语内联候选」乃化「文件定义列」而「文件定义列」也。
「原语内联候选」者会「定义们」而
  「滤态射」授以（「字符串」合「爻」合「表达式」）授以（「字符串」合「爻」合「表达式」）
  于（会「项」而
  虑「式」者「内联候选去壳」于（「项」中「二」）而
  虑「可用」者鉴「式」而
    有（「式节点」于（「文件定义引用节点」于「文件」于「名」于「序」）于「罄」）则「阳」
    或有（「式节点」于（「拉姆达抽象」于「形」）于「体」）则
      若「且」
        于（「薄函体」于「式」）
        于（「小于」于（「计算表达式复杂度」于「式」）于（「读引用」于「优化内联复杂度」））则
          「阳」
      否则
        若「且」
          于（「数组构造薄函」于「式」）
          于（「小于」于（「计算表达式复杂度」于「式」）于「六四」）则「阳」
        否则
          若「静态单参转交」于「式」则
            「阳」
          否则
            若「至少二参小函」于「式」则
              （若「小于」于（「计算表达式复杂度」于「式」）于「六四」则「直线小函」于「式」
                否则
                  「阴」）
            否则
              「阴」
    或有「其他」则
      「阴」
  而
  若「可用」则
    「可有」于（（「项」中「零」）与（「项」中「一」）与「式」）
  否则
    「可无」
  ）于「定义们」
也。

「查原语候选」乃化「文件定义列」而化「字符串」而「或可有」于「表达式」也。
「查原语候选」者会「诸项」而会「名」而
  鉴「诸项」而
    有「罄」则「可无」
    或有（「缀」于「项」于「余」）则
      若「串相等」于（「项」中「零」）于「名」则「可有」于（「项」中「二」）否则「查原语候选」于「余」于「名」
也。

「本卷内联路径」者「新引用」授以「字符串」于『』也。

「本卷内联候选」者「新引用」授以「文件定义列」于「罄」也。

「：文言：前工既成，后工可用，唯记于内存。汉语：同一模块逐定义发布优化后的候选，不重复写磁盘；按文件路径隔离，避免局部同名变量被误当成全局定义。：」
「读取内联候选」乃化「字符串」而化「字符串」而（「或可有」于「表达式」）也。
「读取内联候选」者会「路径」而会「名」而
  虑「近」者
    若「串相等」于「路径」于（「读引用」于「本卷内联路径」）则
      「查原语候选」于（「读引用」于「本卷内联候选」）于「名」
    否则
      「可无」而
  鉴「近」而
    有（「可有」于「式」）则「可有」于「式」
    或有「可无」则
      「查原语候选」于（「读树组缓存」于「路径」于『原语内联』）于「名」
也。

「展开原语引用」乃化「整数」而化「字符串」而化「表达式」而「表达式」也。
「展开原语引用」者会「余次」而会「当前文件」而会「式」而
  若「等于」于「余次」于「零」则「式」否则鉴「式」而
    有（「式节点」于（「自由变量标注节点」于「名」）于（「列」【「内式」】））则
      「展开原语引用」
        于「余次」于「当前文件」于「内式」
    或有（「式节点」于（「文件定义引用节点」于「文件」于「名」于「序」）于「罄」）则（
      鉴「读取内联候选」于「文件」于「名」而
        有（「可有」于「定义」）则
          「展开原语引用」
            于（「减」于「余次」于「一」）于「当前文件」于「定义」
        或有「可无」则「式」
    ）
    或有「其他」则「式」
也。

「参数表达式可以被安全替换」乃化「表达式」而「爻」也。
「参数表达式可以被安全替换」者会「式」而
  虑「递归」者「参数表达式可以被安全替换」而
  鉴「式」而
    有（「式节点」于（「自由变量标注节点」于「名」）于（（「列」【「内参数」】）））则
      （「递归」于「内参数」）
    或有（「式节点」于（「元组解构节点」于「序数」）于（（「列」【「内参数」】）））则
      （「递归」于「内参数」）
    或有（「自由变量」于「名」）则
      （「阳」）
    或有「其他」则「阴」
也。

「：获取函数定义，但检查复杂度，如果复杂度过高，则返回原来定义：」
「： 条件获取函数定义乃化命名环境而化表达式而表达式也。
条件获取函数定义者会境而会函而
    虑原定义者命名环境读取具体定义式于境于函而
    （若（计算表达式复杂度于函）大于（读引用于「优化内联复杂度」）
    则（
        虑无者编译调试打印行于『fun_inline_get_def』于（会无而『失败【复杂度】获取定义 』附（表达式表示于函）附『，原定义：』附（表达式表示于原定义）附『 ， 环境：』附（命名环境表示于境））而
        函
    ）
    否则（
        虑无者编译调试打印行于『fun_inline_get_def』于（会无而『成功【复杂度】获取定义 』附（表达式表示于函）附『，原定义：』附（表达式表示于原定义）附『 ， 环境：』附（命名环境表示于境））而
        （鉴原定义而
            有（式节点于待定节点于【】）则函
            或有「其他」则（原定义）
        ）
    ））也。 ：」

「进行定义内联」乃
  化（化「整数」而化「命名环境」而化「表达式」而「表达式」） 「：常量内联函数：」而
  化「整数」而
  化
  「命名环境」
  而化「表达式」 「：函数定义：」而
  化（「列」于「表达式」） 「：参数列：」而
  「表达式」
也。
「进行定义内联」者会「常量内联」而会「剩余次数」而会「境」而会「函」而会「参们」而
  虑「递归」者
    （化「命名环境」而化「表达式」而化（「列」于「表达式」）而「表达式」也
    会「后境」而会「后函」而会「后参们」而
      「进行定义内联」于「常量内联」于「剩余次数」于「后境」于「后函」于「后参们」
    ）而
  鉴「参们」而
    有
      「罄」则（
        若（「大于」于「剩余次数」于「零」）
        则
          「常量内联」
            于（「减」于「剩余次数」于「一」）
            于「境」
            于「函」 「：TODO check progress! Halt when there is no more progress：」
        否则
          「函」
      ）
    或有（「缀」于「参数头」于「参数尾」）则（
      「： 虑无者（编译调试打印行于『debug_inline』于（会无而『参数内联，原来：』附（表达式表示于「参数头」）附『，结果：』附（表达式表示于后参数头）））而 ：」
      鉴「函」而
        「：文言：先虑之值不移其序，后参续入其体。汉语：函数头内联产生 let 后，将剩余应用送入 let 体，保持先求函数头、后求参数；避开参数自由名，防止变量捕获。：」
        有（「式节点」于「内联虑」于（「列」【「值」，「绑定体」】））则（
          虑「避名」者
            「附加」授以「字符串」
            于（「命名环境获取所有名称」于「境」）
            于（「串联」于（「态射」于「参们」于「读取式自由变量」））
          而
          虑「解」者「解构抽象不重复名称」于「绑定体」于「避名」
          而
          虑「名」者「解」中「零」而
          「式节点」
            于「内联虑」
            于（「列」【
              「值」，
              「进行抽象」
                于「名」
                于（「递归」
                  于（「添加声明不改变名」于『应用穿虑』于「境」于「名」于「值」）
                  于（「解」中「一」）于「参们」）
            】）
        ）
        或有（「式节点」于（「拉姆达抽象」于（「多参数形」于「一」））于（（「列」【「拉体」】）））则（
          若（「参数表达式可以被安全替换」于「参数头」）
          则
            （「递归」于「境」于（「式替换」于「参数头」于「拉体」）于「参数尾」）
          否则
            （
              虑「后参数头」者
                （「常量内联」于「剩余次数」于「境」于「参数头」）
              而
              虑「后式」者
                「构造抽象」
                  于『常量内联参数值』
                  于（会「常量内联参数值名」而
                    「递归」
                      于（「添加声明不改变名」于『98』于「境」于「常量内联参数值名」于「后参数头」）
                      于（「式替换不重复名」于（「常量内联参数值名」）于「拉体」）
                      于
                      「参数尾」）
              而
              若（「抽象是有名的」于「后式」）
              则
                （「式节点」于「内联虑」于（（「列」【「后参数头」，「后式」】）））
              否则
                （
                  若（「表达式无副作用」于「后参数头」）
                  则
                    （「解构无名抽象」于「后式」）
                  否则
                    （「式节点」于「内联虑」于（（「列」【「后参数头」，「后式」】）））
                ）
            ）
        ）
        或有「其他」则（
          虑「后参数们」者
            （「态射」授以「表达式」授以「表达式」）
            于（「缀」于「参数头」于「参数尾」）
            于（会「参数」而「常量内联」于「剩余次数」于「境」于「参数」）
          而
          「分组函数调用式」
            于（「多参数形」于（「长度」于「后参数们」））于「函」于「后参数们」
        ）
    ）
也。

「检查内联条件」乃化「表达式」而「爻」也。
「检查内联条件」者会「式」而
  若（「表达式无副作用」于「式」）
  则
    （若（「小于」于（「计算表达式复杂度」于「式」）于（「读引用」于「优化内联复杂度」））则（「阳」）否则（「阴」））
  否则
    （「阴」）
也。

「当前结构引用」即「字符串」
  合「表达式」
也。

「内联文件引用结构」乃
  化「当前结构引用」而
  化（化「表达式」而「表达式」） 「：常量内联：」而
  化「整数」 「：序数：」而
  化
    「字符串」 「：文件名：」
而化「表达式」 「：无法内联时的默认式：」而
  「表达式」
也。
「内联文件引用结构」者会「当前路径及式」而会「递归」而会「序数」而会「文件名」而会「式」而
  「：这些函数都不可以被内联：」
「式」
也。

「常量内联」乃
  化「当前结构引用」而
  化「整数」 「：每次进入函数时都会减少此值：」而
  化「命名环境」而
  化「表达式」而
  「表达式」
也。
「常量内联」者会「当前文件路径及式」而会「剩余次数」而会「境」而会「式」而
  虑「无」者
    （「编译调试打印行」
      于『fun_inline』
      于（会「无」而『正在常量内联：』附（「整数表示」于「剩余次数」）附『，』附（「表达式表示」于「式」）））而
  鉴「式」而
    有（「式节点」于「函数调用」于「忽略项们」）
    则（
      虑「头及参数」者「解构函数调用式」于「式」而
      虑「头」者
        「展开原语引用」
          于「剩余次数」
          于（「当前文件路径及式」中「零」）
          于（「常量内联」于「当前文件路径及式」于「剩余次数」于「境」于（「头及参数」中「零」））而
          虑「后参数」者（「头及参数」中「一」）而（「进行定义内联」
            于（会「后剩余次数」而会「后境」而会「后式」而「常量内联」
              于
              「当前文件路径及式」于「后剩余次数」于「后境」于「后式」）
              于
                「剩余次数」于「境」于「头」于「后参数」）
    ）
    或有（「式节点」于「内联虑」于（（「列」【「当前式」，「后式」】）））
    则（
      虑「后当前式」者
        「常量内联」于
        「当前文件路径及式」于
        「剩余次数」于「境」于
        「当前式」而
        虑「后后式」者
          「带定义绑定递归」
            于「境」
            于「后当前式」
            于
            「后式」
              于（会「后境」而会「后式」而「常量内联」于「当前文件路径及式」于「剩余次数」于「后境」于「后式」）而
                若（「抽象是有名的」于「后后式」）则
                  （「式节点」于「内联虑」于（（「列」【「后当前式」，「后后式」】）））
                否则
                  （
                    若（「表达式无副作用」于「后当前式」）则
                      （「解构无名抽象」于「后后式」）
                    否则
                      （「式节点」于「内联虑」于（（「列」【「后当前式」，「后后式」】）））
                  ）
    ）
    或有（「式节点」于（「元组解构节点」于「序数」）于（（「列」【「可能元组值」】）））则（
      若（（「是直接变量」于「可能元组值」））
      则
        （
          虑「无」者
            「编译调试打印行」
              于『fun_inline』
              于（会「无」而『元组解构节点内联，』附（「表达式表示」于「式」））
          而
          虑「名称定义」者
            （「找到名称」于「境」于（「读取直接变量」于「可能元组值」））而
          鉴「名称定义」而
            有（「式节点」于「元组构造节点」于「参数们」）则（
              若（「小于」于「序数」于（（「长度」授以「表达式」）于「参数们」））
              则
                （
                  虑「投影后式」者
                    （（「第N个」授以「表达式」）于「序数」于「参数们」）
                  而
                  若（「检查内联条件」于「投影后式」）
                  则
                    （
                      虑「无」者
                        「编译调试打印行」
                          于『fun_inline』
                          于（会「无」而
                            『【成功1】元组解构节点内联，』附（「表达式表示」于「式」）附
                              『，定义：』附（「表达式表示」于「投影后式」））
                      而
                      若（「大于」于「剩余次数」于「零」）则（ 「：TODO 应当只有在函数调用时才续延这样：」
                        「常量内联」
                          于「当前文件路径及式」
                          于（「减」于「剩余次数」于「一」）
                          于
                            「境」于「投影后式」
                      ）
                      否则
                        （「投影后式」）
                    ）
                  否则
                    （
                      虑「无」者
                        「编译调试打印行」
                          于『fun_inline』
                          于（会
                            「无」而『【失败1】【内联条件失败】元组解构节点内联，』附（「表达式表示」于「式」）附
                              『，定义：』附（「表达式表示」于「投影后式」））
                      而
                      「式」
                    ）
                ）
              否则
                「发生事故」
                  于『序数错误72，』附『原定义』附（「表达式表示」于「式」）附
                    『序数：』附（「整数表示」于「序数」）附『，长度：』附（「整数表示」
                      于（（「长度」授以「表达式」）于「参数们」））附（「命名环境表示」于「境」）
            ）
            或有「其他」则（
              若（「是文件引用节点」于「名称定义」）
              则
                （
                  虑「文件名」者「读取文件引用节点」于「名称定义」而
                  「内联文件引用结构」
                    于「当前文件路径及式」
                    于（
                    若（「大于」于「剩余次数」于「零」）
                    则
                      （会「内式」而「常量内联」
                        于「当前文件路径及式」
                        于（「减」于「剩余次数」于「一」）于「境」于「内式」
                      ）
                    否则
                      （会「内式」而「内式」））
                      于（「序数」）
                      于（「文件名」）
                      于（「式」）
                ）
              否则
                （
                  虑「无」者
                    「编译调试打印行」
                      于『fun_inline』
                      于（会「无」而
                        『【失败3】【定义不对】元组解构节点内联，』附（「表达式表示」于「式」）
                        附『，定义：』附（「表达式表示」于「名称定义」））
                  而
                  「式」
                ）
            ）
        ）
      否则
        （
          若（「是文件引用节点」于「可能元组值」）
          则
            （
              虑「文件名」者「读取文件引用节点」于「可能元组值」而
              「内联文件引用结构」
                于「当前文件路径及式」
                于（
                若（「大于」于「剩余次数」于「零」）
                则
                  （会「内式」而「常量内联」于「当前文件路径及式」于（「减」于「剩余次数」于「一」）于「境」于「内式」）
                否则
                  （会「内式」而「内式」））
                  于（「序数」）
                  于（「文件名」）
                  于（「式」）
            ）
          否则
            （
              鉴「可能元组值」而
                有（「式节点」于「元组构造节点」于「参数们」）则（
                  若（「小于」于「序数」于（（「长度」授以「表达式」）于「参数们」））
                  则
                    （
                      虑「投影后式」者
                        （（「第N个」授以「表达式」）于「序数」于「参数们」）
                      而
                      若（（「表达式无副作用」于「可能元组值」））
                      则
                        （
                          虑「无」者
                            「编译调试打印行」
                              于『fun_inline』
                              于（会「无」而
                                『【成功4】元组解构节点内联，』附（「表达式表示」于「式」）附
                                  『，定义：』附（「表达式表示」于「投影后式」））
                          而
                          「常量内联」
                            于
                            「当前文件路径及式」
                              于「剩余次数」于「境」于「投影后式」
                        ）
                      否则
                        （
                          虑「无」者
                            「编译调试打印行」
                              于『fun_inline』
                              于（会「无」而『【失败4】【内联条件失败】元组解构节点内联，』附（「表达式表示」于「式」）
                              附
                                『，定义：』附（「表达式表示」于「投影后式」））
                          而
                          （「表达式带定义统一操作」
                            于（会「后境」而会「后式」而「常量内联」
                              于「当前文件路径及式」
                              于「剩余次数」于「后境」于「后式」）
                              于
                              「境」于「式」）
                        ）
                    ）
                  否则
                    「发生事故」
                      于『序数错误72，』附『原定义』附（「表达式表示」于「式」）附
                        『序数：』附（「整数表示」于「序数」）附『，长度：』附（「整数表示」
                          于（（「长度」授以「表达式」）于「参数们」））附（「命名环境表示」于「境」）
                ）
                或有「其他」则（「表达式带定义统一操作」
                  于（会「后境」而会「后式」而「常量内联」于「当前文件路径及式」于「剩余次数」于「后境」于「后式」）
                  于「境」于「式」）
            ）
        ）
    ）
    或有「其他」则（「表达式带定义统一操作」
      于（会「后境」而会「后式」而「常量内联」于「当前文件路径及式」于「剩余次数」于「后境」于「后式」）
      于「境」于「式」）
也。

「常量内联带环境顶层」乃
  化「字符串」而
  化「命名环境」而
  化「表达式」而
  「表达式」
也。
「常量内联带环境顶层」者会「路径」而会「境」而会「式」而
  「常量内联」于（「路径」与「式」）于「六」于「境」于「式」
也。

「常量内联顶层」乃化「字符串」而化「表达式」而「表达式」也。
「常量内联顶层」者会「路径」而会「式」而
  「常量内联带环境顶层」于「路径」于「罄」于「式」
也。
