寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「抽象语法树数据」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「抽象语法树基础操作」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「抽象语法树方法」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「抽象语法树表示」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「复杂度计算」之书。

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

「换行」乃化「整数」而「字符串」也。
「换行」者会「缩进」而
  若（「大于」于「缩进」于「零」）
  则
    （「换行」于（「减」于「缩进」于「一」））附『  』
  否则
    『「：换行：」』也。
「缩进长度」者「二」也。

「抽象语法友好表示」乃化「爻」而 「：为阴则无需缩进：」
  化「整数」 「：当前换行缩进：」而
  化「表达式」而「字符串」也。
「抽象语法友好表示」者会「需要缩进」而会「缩进」而会「式」而
  虑「递归」者（化「整数」而化「表达式」而「字符串」也
      会「后缩进」而会「后式」而「抽象语法友好表示」于「阳」于「后缩进」于「后式」
  ）而
  虑「直接递归」者（化「整数」而化「表达式」而「字符串」也
      会「后缩进」而会「后式」而「抽象语法友好表示」于「阴」于「后缩进」于「后式」
  ）而
  鉴「式」而
    有（「式节点」于「内联虑带类型」于（「列」【「式类」，「当前式」，「尾式」】））
    则（虑「名称及尾」者「解构抽象」于「尾式」而
        （「换行」于「缩进」）附
        （『虑  』附（「名称及尾」中「零」）附『  者  』附（「递归」于（「加」于「缩进」于「四」）于「当前式」）
          附『  而 』附（「换行」于（「加」于「缩进」于「二」））附（「递归」
            于（「加」于「缩进」于「二」）于
            「名称及尾」中「一」
          ）
          「： 附『』附（换行于缩进减二）附『』 ：」
        ））
    或有（「式节点」于「内联虑」于（（「列」【（「当前式」），「尾式」】）））
    则（虑「名称及尾」者
          「解构抽象」于「尾式」
        而
        （「换行」于「缩进」）附
        （『虑 』附（「名称及尾」中「零」）附『  者  』附（「直接递归」于（「加」于「缩进」于「四」）于「当前式」）附
          『  而 』附（「递归」于「缩进」于「名称及尾」中「一」）））
    或有（「式节点」于「顺序执行节点」于（（「列」【（「当前式」），「尾式」】）））则（（「换行」于
          「缩进」
      ）附
      （『虑 __ 者  』附（「直接递归」于「缩进」于「当前式」）附『  而 』附（「递归」于「缩进」于「尾式」）））
    或有（「式节点」于「爻分支节点」于（「列」【「爻式」，「阳支」，「阴支」】））则（（「换行」于
          「缩进」
      ）附
      『若  』附（「直接递归」于「缩进」于「爻式」）附（「换行」于「缩进」）附『  则  』附（「递归」
        于（「加」于「缩进」于「缩进长度」）于「阳支」
      ）
      附（「换行」于「缩进」）附『 否则 』附
      （「递归」于（「加」于「缩进」于「缩进长度」）于「阴支」））
    或有（「式节点」于「模式匹配」于（「缀」于「模式」于「分支们」））则（（「换行」于「缩进」）附
      『鉴  』附（「表达式表示」于「模式」）附『  而  』附
      （「间合」于『』于（（「态射」）于
          「分支们」于（会「分支」而「递归」于（「加」于「缩进」于「缩进长度」）于「分支」））））
    或有（「式节点」于（「常量模式匹配分支」）于（（「列」【「常量」，「结果」】）））则（（「换行」于
          「缩进」
      ）附
      『有  』附（「表达式表示」于「常量」）附『  则  』附
      （「递归」于（「加」于「缩进」于「缩进长度」）于「结果」））
    或有（「式节点」于（「变量模式匹配分支」）于（（「列」【「结果」】）））
    则（虑「名称及尾」者「解构抽象」于「结果」
        而
        （「换行」于「缩进」）附『有  』附（「名称及尾」中「零」）附『  则  』附（「递归」
            于（「加」于「缩进」于「缩进长度」）
            于（「名称及尾」中「一」）））
    或有（「式节点」于（「唯一构造器模式匹配分支」于「序数」）于（（「列」【「结果」】）））
    则（虑「名称及尾」者
          「解构抽象」于
          「结果」而
        （「换行」于「缩进」）
        附『有  ⌂(』附（「整数表示」于「序数」）附『)  』附（「名称及尾」中「零」）附『  则  』附（「递归」
          于（「加」于「缩进」于「缩进长度」）
          于（「名称及尾」中「一」）））
    或有（「式节点」于（「续延调用节点」）于（（「列」【「结果」】）））
    则（虑「名称及尾」者「解构抽象」于「结果」而
        （「换行」于「缩进」）附『续延调用  』附（「名称及尾」中「零」）附『.』附（「递归」
          于（「加」于「缩进」于「缩进长度」）
          于（「名称及尾」中「一」）））
    或有（「式节点」于（「拉姆达抽象」于「合并式」）于（（「列」【「拉体」】）））
    则（虑「当前名称及尾」者「解构抽象」于
      「拉体」而
        『λ』附（「当前名称及尾」中「零」）附『.』附（「递归」
          于（「加」于「缩进」于「缩进长度」）于「当前名称及尾」
          中「一」
        ））
    或有（「式节点」于（「拉姆达抽象」于（「多参数形」于「原来个数」））于（（「列」【「拉体」】）））
    则（递归虑
      「个数递归」其化「整数」而化「表达式」而「字符串」者
        （会「个数」而会「拉体」而
          若（「大于」于「个数」于「零」）
          则
            （虑「名称一及尾」者「解构抽象」于「拉体」而
              （「名称一及尾」中「零」）附『.』附（「个数递归」
                于（「减」于「个数」于「一」）
                于（「名称一及尾」中「一」）））
          否则
            （（「参式表示」于（「多参数形」于「原来个数」））附（「递归」
                  于（「加」于「缩进」于「缩进长度」）于「拉体」
              ）））
            而
            『λ』附
            （「个数递归」于「原来个数」于「拉体」））
    或有（「式节点」于（「拉姆达抽象」于「其他式」）于（（「列」【「拉体」】）））
    则（虑「当前名称及尾」者「解构抽象」于
      「拉体」而
        『λ』附（「当前名称及尾」中「零」）附（「参式表示」于「其他式」）
        附『.』附（「递归」于（「加」于「缩进」于「缩进长度」）于「当前名称及尾」中「一」））
    或有（「式节点」于（「拉姆达抽象续延」于「续延名」）于（（「列」【「拉体」】）））
    则（虑「当前名称及尾」者
          「解构抽象」于「拉体」而
        『λₖ(』附「续延名」附『)』
        附（「当前名称及尾」中「零」）附『.』附（「递归」
          于（「加」于「缩进」于「缩进长度」）于
          「当前名称及尾」中「一」
        ））
    或有（「式节点」于（「拉姆达抽象续延无绑定」于「续延名」）于（（「列」【「拉体」】）））则
      （『λₖ(』附「续延名」附『)』附（「递归」于（「加」于「缩进」于「缩进长度」）于「拉体」））
    或有（「式节点」于「节点名」于「参数」）则（若（「小于」于（「计算表达式复杂度」于「式」）于「一零」）则
        （（若「需要缩进」则（「换行」于「缩进」）否则『』）附（「表达式表示」于「式」））
    否则
      （虑「原输出」者（（「节点名称表示」于「节点名」）附『[』附
            （「间合」于（（「换行」于（「加」于「缩进」于「四」））附『;』）
              于（（「态射」）于「参数」于（会「参数式」而「递归」于（「加」于「缩进」于「四」）于「参数式」）））
              附（「换行」于「缩进」）附『]』
        ）
        而
        （若「需要缩进」则（「换行」于「缩进」）否则『』）附
              「原输出」
      ））
    或有「其他」则（（若「需要缩进」则（「换行」于「缩进」）否则『』）附（「表达式表示」于「式」））
也。

「抽象语法友好表示顶层」乃化「表达式」而「字符串」也。
「抽象语法友好表示顶层」者会「式」而「抽象语法友好表示」于「阳」于「零」于「式」也。

「表达式树组友好表示」乃化「整数」 「：当前换行缩进：」而
  化（「列」于（「字符串」合「爻」合「表达式」））而「字符串」也。
「表达式树组友好表示」者会「缩进」而会「式」而
  （「间合」于『「：换行：」』于（（「态射」）于「式」于（会「函数定义」而
    （「三对子取零」于「函数定义」）附『（』附（「爻表示」于（「三对子取一」于「函数定义」））附
          『）』
          附
          『的定义是：』附（「抽象语法友好表示顶层」于（「三对子取二」于「函数定义」）））））也。
