寻观「标准库」之书。
寻观「编译器核心」之「顺序标识符」之「顺序标识符」之书。

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

寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「内建常量数据」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「内建常量表示方法」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「抽象语法树数据」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「抽象语法树表示」之书。

「内建」乃化「内建常量」而「表达式」也。
「内建」者会「甲」而
  （「式节点」于（「内建节点」于「甲」）于「罄」）
也。

「内建元类型」者「内建」于「内建类型元类型」也。

「内建元类型式」者「内建」于「内建类型元类型」也。

「抽象替换自由变量」乃化「字符串」而化「整数」而化「表达式」而「表达式」也。
「抽象替换自由变量」者会「绑名」而会「当前序数」而会「式」而
  鉴「式」而
    有「自由变量」于「名」则
      （若「串相等」于「名」于「绑名」则「绑定变量」于「当前序数」否则「式」）
    「：文言：叶无可替者，仍用其旧，勿复造之。汉语：绑定变量与没有子表达式的节点不含待替换自由变量，直接共享原节点，避免每次抽象重复分配。：」
    或有「绑定变量」于「序数」则「式」
    或有「式节点」于「名称」于「罄」则「式」
    或有「绑定」于「名」于「下式」则
      「绑定」
        于「名」
        于（「抽象替换自由变量」于「绑名」于（「加」于「当前序数」于「一」）于「下式」）
    或有「式节点」于「名称」于「式列」则
      「式节点」
        于「名称」
        于（（「态射」）于「式列」于（会「待替换式」而「抽象替换自由变量」于「绑名」于「当前序数」于「待替换式」））
    或有「其他」则
      「发生事故」于『未有229』
也。

「：构造抽象 进行抽象于X于X X = λX.X X：」
「进行抽象」乃化「字符串」而化「表达式」而「表达式」也。
「进行抽象」者会「绑名」而会「式」而
  「绑定」于（「可有」于「绑名」）于（「抽象替换自由变量」于「绑名」于「一」于「式」）
也。

「进行多抽象」乃化（「列」于「字符串」）而化「表达式」而「表达式」也。
「进行多抽象」者会「绑名」而会「式」而
  （「从右折叠」授以「字符串」授以「表达式」）
  于（会「名」而会「当前式」而「进行抽象」于「名」于「当前式」）
  于
    「式」于「绑名」
也。

「进行无名抽象」乃化「表达式」而「表达式」也。
「进行无名抽象」者会「式」而
  「绑定」于（「可无」）于（「式」）
也。

「解构替换绑定变量」乃化「整数」而化「表达式」而化「表达式」而「表达式」也。
「解构替换绑定变量」者会「当前序数」而会「替换式」而会「式」而
  鉴「式」而
    「：文言：无所改之叶仍用旧。汉语：自由变量、未命中的绑定变量及无子节点的常量保持原对象，避免替换遍历制造无效副本。：」
    有「自由变量」于「名」则「式」
    或有「绑定变量」于「序数」则
      （若「等」于「当前序数」于「序数」则「替换式」否则「式」）
    或有「式节点」于「名称」于「罄」则「式」
    或有「绑定」于「名」于「下式」则
      「绑定」
        于「名」
        于（「解构替换绑定变量」于（「加」于「当前序数」于「一」）于「替换式」于「下式」）
    或有「式节点」于「名称」于「式列」则
      「式节点」
        于「名称」
        于（（「态射」）于「式列」于（会「待替换式」而「解构替换绑定变量」于「当前序数」于「替换式」于「待替换式」））
    或有「其他」则
      「发生事故」于『未有253』
也。

「：非重复替换变量必须：」
「解构替换绑定名非重复」乃化「整数」而化「字符串」而化「表达式」而「表达式」也。
「解构替换绑定名非重复」者会「当前序数」而会「替换自由变量名」而会「式」而
  鉴「式」而
    有「自由变量」于「名」则
      （若「串相等」于「名」于「替换自由变量名」则「发生事故」于『名称重复』否则「式」）
    或有「绑定变量」于「序数」则
      （若「等」于「当前序数」于「序数」则「自由变量」于（「替换自由变量名」）否则「式」）
    「：文言：复用常叶，不省重名之验。汉语：仅共享无需替换的叶节点；自由变量冲突检查和绑定名更新仍照常执行。：」
    或有「式节点」于「名称」于「罄」则「式」
    或有「绑定」于「名」于「下式」则
      「绑定」
        于（
          鉴「名」而
            有（「可有」于「内名」）则（
              若「串相等」
                于「内名」
                于「替换自由变量名」 「：如果相等则替换，这样可以保证如果一个复杂表达式只用该函数解构抽象，也不会遇到相同的抽象：」
              则
                （「可有」于（「下个字符序数」于「内名」））
              否则
                「名」
            ）
            或有「可无」则「可无」
        ）
        于（「解构替换绑定名非重复」于（「加」于「当前序数」于「一」）于「替换自由变量名」于「下式」）
    或有「式节点」于「名称」于「式列」则
      「式节点」
        于「名称」
        于（（「态射」）
        于
          「式列」于（会「待替换式」而「解构替换绑定名非重复」于「当前序数」于「替换自由变量名」于「待替换式」）
        ）
    或有「其他」则
      「发生事故」于『未有270』
也。

「替换抽象名称」乃化「字符串」而化「表达式」而（「表达式」）也。
「替换抽象名称」者会「新名」而会「式」而
  鉴「式」而
    有「绑定」于（「名」）于「下式」则
      「绑定」于（「可有」于「新名」）于「下式」
    或有「其他」则
      「发生事故」于『不可替换抽象于非绑定式』
也。

「表达式完整性检查」乃化「整数」而化「表达式」而「有」也。
「表达式完整性检查」者会「绑定变量上限」而会「式」而
  鉴「式」而
    有「自由变量」于「名」则（
      若（「存在吗」授以「字符串」）
      于（会「串」而「串相等」于「串」于「名」）
      于（（「态射」）于「所有内建常量」于（会「量」而（「内建常量表示」于「量」）））
      则
        「元」
      否则
        「发生事故」于『表达式不完整，出现自由变量：』附「名」
    ）
    或有「绑定变量」于「序数」则（
      若「小于」于「绑定变量上限」于「序数」
      则
        「发生事故」于『表达式不完整，出现绑定变量：』附（「整数表示」于「序数」）
      否则
        「元」
    ）
    或有「绑定」于「名」于「下式」则（「表达式完整性检查」于（「加」于「绑定变量上限」于「一」）于「下式」）
    或有「式节点」于「名称」于「式列」则
      （（「列」于「有」也（「态射」）
      于
          「式列」于（会「待检查式」而「表达式完整性检查」于「绑定变量上限」于「待检查式」））；
        「元」）
    或有「其他」则
      「发生事故」于『未有463』
也。

「获取可能绑定名」乃化「表达式」而「字符串」也。
「获取可能绑定名」者会「式」而
  鉴「式」而
    有「绑定」于（「可有」于「名」）于「下式」则「名」
    或有「绑定」于（「可无」）于「下式」则
      （虑「名」者「下个字符序数」于『绑』而「名」）
    或有「其他」则
      「发生事故」于『不可读取非绑定式』附（「表达式表示」于「式」）
也。

「更新可能绑定名」乃化「表达式」而「表达式」也。
「更新可能绑定名」者会「式」而
  鉴「式」而
    有「绑定」于（「可有」于「名」）于「下式」则
      （虑「名」者「下个字符序数」于「名」附『_更新_』而「绑定」于（「可有」于「名」）于「下式」）
    或有「绑定」于（「可无」）于「下式」则
      （虑「名」者「下个字符序数」于『绑』而「绑定」于（「可有」于「名」）于「下式」）
    或有「其他」则
      「发生事故」于『不可读取非绑定式』附（「表达式表示」于「式」）
也。

「更新可能绑定名特殊变换」乃
  化（化「字符串」而「字符串」）而
  化「表达式」而
  「表达式」
也。
「更新可能绑定名特殊变换」者会「变换」而会「式」而
  鉴「式」而
    有「绑定」于（「可有」于「名」）于「下式」则
      （虑「名」者「下个字符序数」于（「变换」于（「名」附『_更新_』））而「绑定」于（「可有」于「名」）于「下式」）
    或有「绑定」于（「可无」）于「下式」则
      （虑「名」者「下个字符序数」于『绑』而「绑定」于（「可有」于「名」）于「下式」）
    或有「其他」则
      「发生事故」于『不可读取非绑定式』附（「表达式表示」于「式」）
也。

「绑定变量少一」乃化「整数」而化「表达式」而「表达式」也。
「绑定变量少一」者会「减少变量序数」而会「式」而
  「尝试运行」
    于（会「无」而
      鉴「式」而
        有「自由变量」于「名」则「自由变量」于「名」
        或有「绑定变量」于「序数」则
          （若「小于」于「序数」于「减少变量序数」则「绑定变量」于「序数」否则「发生事故」于『无法减少绑定变量』）
        或有「绑定」于「名」于「下式」则
          「绑定」
            于「名」
            于（「绑定变量少一」于（「加」于「减少变量序数」于「一」）于「下式」）
        或有「式节点」于「名称」于「式列」则
          「式节点」
            于「名称」
            于（（「态射」）于「式列」于（会「待减式」而「绑定变量少一」于「减少变量序数」于「待减式」））
      「： 或有结构表达式于「声明列」则发生事故于『未有150』 ：」
        或有「其他」则
          「发生事故」于『未有487』
    ）
    于（会「异常串」而
      「发生事故」
        于「异常串」附『=》在试图减少序数为』附（「整数表示」于「减少变量序数」）附
          『的变量，于表达式：』附（「表达式表示」于「式」）附『时「：换行：」』
    ）
也。

「绑定变量包括」乃化「整数」而化「表达式」而「爻」也。
「绑定变量包括」者会「目标变量序数」而会「式」而
  虑「无」者
    「编译调试打印行」于『binder_is_named』于（会「无」而『检查绑定变量包括』附（「表达式表示」于「式」））
  而
  虑「结果」者
    （「爻」也鉴「式」而
        有「自由变量」于「名」则「阴」
        或有「绑定变量」于「序数」则（
          若「等」于「序数」于「目标变量序数」
          则
            （
              虑「无」者
                「编译调试打印行」
                  于『binder_is_named』
                  于（会「无」而『找到绑定变量』附（「表达式表示」于「式」））
              而
              「阳」
            ）
          否则
            「阴」
        ）
        或有「绑定」于「名」于「下式」则（「绑定变量包括」于（「加」于「目标变量序数」于「一」）于「下式」）
        或有「式节点」于「名称」于「式列」则（（「存在吗」授以「表达式」）
        于（会「待检查式」而「绑定变量包括」于「目标变量序数」于「待检查式」）于
          「式列」
        ）
        或有「其他」则
          「发生事故」于『未有504』）
  而
  虑「无」者
    「编译调试打印行」
      于『binder_is_named』
      于（会「无」而『完成检查绑定变量包括』附（「爻表示」于「结果」）附（「表达式表示」于「式」））
  而
  「结果」
也。

「抽象是有名的」乃化「表达式」而（「爻」）也。
「抽象是有名的」者会「式」而
  虑「无」者
    「编译调试打印行」于『binder_is_named』于（会「无」而『检查抽象是有名的，』附（「表达式表示」于「式」））
  而
  虑「结果」者
    （「爻」也鉴「式」而
        有「绑定」于「可能名」于「下式」则
          （「绑定变量包括」于「一」于「下式」）
        或有「其他」则
          「发生事故」于『不可解构非抽象式：』附（「表达式表示」于「式」））
  而
  虑「无」者
    「编译调试打印行」
      于『binder_is_named』
      于（会「无」而『抽象是有名的，结果：』附（「爻表示」于「结果」）附（「表达式表示」于「式」））
  而
  「结果」
也。

「：解构抽象 结构抽象于 X.X X = (X, X X)，不会重复名称：」
「解构抽象」乃化「表达式」而（「字符串」合「表达式」）也。
「解构抽象」者会「式」而
  鉴「式」而
    有「绑定」于「可能名」于「下式」则（
      虑「名」者（「获取可能绑定名」于「式」）而
      「尝试运行」
        于（会「无」而「名」与（「解构替换绑定名非重复」于「一」于（「名」）于「下式」））
        于（会「错误」
          而
  虑「新名」者「下个字符序数」于「名」而
  「新名」与（「解构替换绑定名非重复」于「一」于（「新名」）于「下式」））
    ）
    或有「其他」则
      「发生事故」于『23不可解构非绑定式：』附（「表达式表示」于「式」）
也。

「解构无名抽象」乃
  化「表达式」 「：绑定式：」而
  「表达式」
也。
「解构无名抽象」者会「绑定式」而
  鉴「绑定式」而
    有「绑定」于「可能名」于「下式」则
      （「下式」）
    或有「其他」则
      「发生事故」于『206不可解构非绑定式：』附（「表达式表示」于「绑定式」）
也。

「：使用第一个参数作为序数的模板，将第二个参数转换为绑定：」
「构造抽象」乃化「字符串」而化（化「字符串」而「表达式」）而「表达式」也。
「构造抽象」者会「串」而会「式构造」而
  虑「新名」者「下个字符序数」于「串」而
  「进行抽象」于「新名」于（「式构造」于「新名」）
也。

「抽象表达式带名操作条件」乃
  化（「列」于「字符串」） 「：返回的字符串必须不出现在这个名中：」而
  化「表达式」而
  化（化「字符串」而化「表达式」而「表达式」）而
  「表达式」
也。
「抽象表达式带名操作条件」者会「不重复名」而会「式」而会「操作」而
  鉴「式」而
    有「绑定」于「可能名」于「下式」则（
      虑「名」者
        （
          虑「目标名」者（「获取可能绑定名」于「式」）而
          「：如果目标名重复，则替换：」
          若（「存在吗」授以「字符串」）
          于（会「待比较名」而「串相等」于「目标名」于「待比较名」）
          于
            「不重复名」则（「下个字符序数」于「目标名」）
          否则
            （「目标名」）
        ）
      而
      「尝试运行」
        于（会「无」而
          「进行抽象」
            于「名」
            于（「操作」于「名」于（「解构替换绑定名非重复」于「一」于（「名」）于「下式」）））
            于（会「错误」
  而
  若（「串相等」于「错误」于『名称重复』）
  则
    （
      虑「新名」者「下个字符序数」于「名」而
      「进行抽象」于「新名」
      于（「操作」于「新名」于（「解构替换绑定名非重复」于「一」于（「新名」）于「下式」））
    ）
  否则
    （「发生事故」于「错误」））
    ）
    或有「其他」则
      「发生事故」于『43不可解构非绑定式：』附（「表达式表示」于「式」）
也。

「抽象表达式操作」乃化「表达式」而化（化「表达式」而「表达式」）而「表达式」也。
「抽象表达式操作」者会「式」而会「操作」而
  「抽象表达式带名操作条件」于「罄」于「式」
  于（会「串」而会「式」而「操作」于「式」）
也。

「：解构抽象 结构抽象于λX.X X = (X, X X)，其中X必须符合条件，另外X也不会重复表达式中变量：」
「解构抽象名称条件」乃
  化「表达式」而
  化（化「字符串」而「爻」）而
  （「字符串」合「表达式」）
也。
「解构抽象名称条件」者会「式」而会「条件」而
  鉴「式」而
    有「绑定」于「可能名」于「下式」则（
      虑「名」者（「获取可能绑定名」于「式」）而
      （
        递归虑「选名称」其化「字符串」而「字符串」者
          （会「串」而若（「条件」于「串」）则「串」否则（「选名称」于（「下个字符序数」于「串」）））
        而
        虑「选名」者「选名称」于「名」而
        「尝试运行」
          于（会「无」而「选名」与（「解构替换绑定名非重复」于「一」于（「选名」）于「下式」））
          于（会「错误」
  而
  若（「串相等」于「错误」于『名称重复』）
  则
    （虑「新名」者「下个字符序数」于「选名」而「新名」与（「解构替换绑定名非重复」于「一」于（「新名」）于「下式」））
  否则
    （「发生事故」于「错误」））
      ）
    ）
    或有「其他」则
      「发生事故」于『262不可解构非绑定式：』附（「表达式表示」于「式」）
也。

「解构无绑定抽象」乃化「字符串」而化「表达式」而「表达式」也。
「解构无绑定抽象」者会「调试信息」而会「式」而
  鉴「式」而
    有「绑定」于（「名」）于「下式」则
      「尝试运行」
        于（会「无」而「绑定变量少一」于「一」于「下式」）
        于（会「错误」而「发生事故」
          于「错误」附
            『，在解构无绑定抽象时，』附「调试信息」附『：』附（「表达式表示」于「式」））
    或有「其他」则
      「发生事故」于『267不可解构非绑定式：』附（「表达式表示」于「式」）
也。

「：式替换 X (\Y Z) = [X/Y] Z：」
「式替换」乃化「表达式」而化「表达式」而「表达式」也。
「式替换」者会「替换式」而会「被替换式」而
  鉴「被替换式」而
    有「绑定」于（「名」）于「下式」则
      （「解构替换绑定变量」于「一」于「替换式」于「下式」）
    或有「其他」则
      「发生事故」于（『不可替换非绑定式：』附
        『「：换行：」试图用』附（「表达式表示」于「替换式」）附『对』附（「表达式表示」于「被替换式」）附
          『进行替换』）
也。

「：用自由变量替换绑定，要求自由变量不重复：」
「式替换不重复名」乃化「字符串」而化「表达式」而「表达式」也。
「式替换不重复名」者会「替换自由变量」而会「被替换式」而
  鉴「被替换式」而
    有「绑定」于（「名」）于「下式」则
      （「解构替换绑定名非重复」于「一」于「替换自由变量」于「下式」）
    或有「其他」则
      「发生事故」于（『不可替换非绑定式：』附
        『「：换行：」试图用』附（「替换自由变量」）附『对』附（「表达式表示」于「被替换式」）附『进行替换』）
也。

「： 式有名替换 X Y Z = [X/Y]Z ：」
「式有名替换」乃化「表达式」而化「字符串」而化「表达式」而「表达式」也。
「式有名替换」者会「替换式」而会「替换自由变量」而会「被替换式」而
  「式替换」于「替换式」于（「进行抽象」于「替换自由变量」于「被替换式」）
也。

「结构名称转表达式」乃化（「列」于「字符串」）而「表达式」也。
「结构名称转表达式」者会「名称」而
  鉴「名称」而
    有「罄」则「发生事故」于『不可为空』
    或有（（「列」【「单」】））则「自由变量」于「单」
    或有「其他」则
      「式节点」
        于（「结构投影」
          于（（「第N个」授以「字符串」）于（「减」于（（「长度」授以「字符串」）于「名称」）于「一」）于「名称」））
          于（（「列」【
            （「结构名称转表达式」于（（「取」授以「字符串」）
            于（「减」于（（「长度」授以「字符串」）于「名称」）于「一」）
            于
              「名称」））
          】））
也。

「： Simultaneous Substitutions ：」
「同时式替换」乃
  化（「列」于「表达式」）而
  化（「列」于「字符串」）而
  化「表达式」而
  「表达式」
也。
「同时式替换」者会「替换」而会「变量」而会「前式」而
  若（「不等于」于（「长度」于「替换」）于（「长度」于「变量」））
  则
    「发生事故」于『同时替换，长度不同』
  否则
    （
      虑「抽象后式」者
        （「从右折叠」授以「字符串」授以「表达式」）
        于（会「变」而会「式」而「进行抽象」于「变」于「式」）于「前式」于「变量」
      而
      虑「替换后式」者
        （「从左折叠」授以「表达式」授以「表达式」）
        于（会「替」而会「式」而「式替换」于「替」于「式」）
        于「抽象后式」
        于「替换」
      而
      「替换后式」
    ）
也。

「：会包含重复的：」
「读取模式匹配新变量」乃化「表达式」而（「列」于「字符串」）也。
「读取模式匹配新变量」者会「式」而
  鉴「式」而
    有「自由变量」于「名」则「罄」
    或有「绑定变量」于「名」则「罄」
    或有「式节点」于（「模式匹配新变量」于「名」）于「参」则（（「列」【「名」】））
    或有「式节点」于（「其他节点」）于「参」则
      「串联」于（（「态射」）于「参」于「读取模式匹配新变量」）
    或有「绑定」于「名」于「下式」则
      「读取模式匹配新变量」于「下式」
也。

「：会包含重复的：」
「读取式自由变量」乃化「表达式」而（「列」于「字符串」）也。
「读取式自由变量」者会「式」而
  虑「结果」者
    （「列」于「字符串」也（
        鉴「式」而
          有「自由变量」于「名」则（（「列」【「名」】））
          或有「式节点」
            于（「模式匹配分支」）
            于（（「列」【「模式」，「结果」】））则（「列减」
              于「串相等」
              于（「附加」于（「读取式自由变量」于「模式」）于（「读取式自由变量」于「结果」））
              于（「读取模式匹配新变量」于「模式」））
          或有「式节点」于（「其他节点」）于「参」则
            「串联」
              于（（「态射」）于「参」于「读取式自由变量」）
          或有「绑定」于「名」于「下式」则
            「读取式自由变量」于（「下式」）
          或有「绑定变量」于「名」则「罄」
      ））
  而
  「结果」
也。

「自由变量在式出现」乃化「字符串」而化「表达式」而「爻」也。
「自由变量在式出现」者会「串」而会「式」而
  （「存在吗」授以「字符串」）
  于（会「待比较串」而「串相等」于「串」于「待比较串」）
  于（「读取式自由变量」于「式」）
也。

「自由变量不在式出现」乃化「字符串」而化「表达式」而「爻」也。
「自由变量不在式出现」者会「串」而会「式」而
  「非」于（「自由变量在式出现」于「串」于「式」）
也。

「自由变量在式出现次数」乃化「字符串」而化「表达式」而「整数」也。
「自由变量在式出现次数」者会「串」而会「式」而
  （
    鉴「式」而
      有「自由变量」于「名」则（
        若「串相等」于「名」于「串」则「一」否则「零」）
      或有「式节点」于「其他节点」于「参」则
        「具体列」之「求和」
          于（（「态射」）于「参」于（会「待统计式」而「自由变量在式出现次数」于「串」于「待统计式」））
      或有「绑定」于「名」于「下式」则
        「自由变量在式出现次数」于「串」
        于（「下式」）
      或有「绑定变量」于「名」则「零」
  ）
也。

「：获取所有的依赖文件名，会包含重复的：」
「读取文件引用依赖」乃化「表达式」而（「列」于「字符串」）也。
「读取文件引用依赖」者会「式」而
  鉴「式」而
    有「自由变量」于「名」则「罄」
    或有「绑定变量」于「名」则「罄」
    或有「式节点」于（「文件引用节点」于「串」）于「罄」则（（「列」【「串」】））
    或有「式节点」于（「文件定义引用节点」于「串」于「定义名」于「序数」）于「罄」则（（「列」【「串」】））
    或有「式节点」于（「文件定义内存引用节点」于「串」于「定义名」于「序数」）于「罄」则（（「列」【「串」】））
    或有「式节点」于（「文件定义存储节点」于「串」于「定义名」于「序数」）于「参」则
      （「缀」于「串」于（「串联」于（（「态射」）于「参」于「读取文件引用依赖」）））
    或有「式节点」于（「其他节点」）于「参」则
      「串联」于（（「态射」）于「参」于「读取文件引用依赖」）
    或有「绑定」于「名」于「下式」则
      「读取文件引用依赖」于「下式」
也。

「：获取所有的调用的函数名，会包含重复的：」
「读取函数引用依赖」乃化「表达式」而（「列」于「字符串」）也。
「读取函数引用依赖」者会「式」而
  鉴「式」而
    有「自由变量」于「名」则「罄」
    或有「绑定变量」于「名」则「罄」
    或有「式节点」于（「函数引用节点」于「串」）于「罄」则（（「列」【「串」】））
    或有「式节点」于（「其他节点」）于「参」则
      「串联」于（（「态射」）于「参」于「读取函数引用依赖」）
    或有「绑定」于「名」于「下式」则
      「读取函数引用依赖」于「下式」
也。

「式递归不解构抽象」乃
  承「甲」而
  化「表达式」而
  化（化「表达式」而（「或可有」于「甲」））而
  化「甲」 「：绑定变量值：」而
  化（化「节点名称」而化（「列」于「甲」）而「甲」）而
  「甲」
也。
「式递归不解构抽象」者受「甲」而会「式」而会「测试递归」而会「默认值」而会「合并」而
  鉴「式」而
    有「自由变量」于「名」则（
      鉴「测试递归」于「式」而
        有「可无」则
          「发生事故」
            于『递归不解构抽象在自由变量获得了可无』
        或有（「可有」于「结果」）则「结果」
    ）
    或有「绑定变量」于「名」则（「默认值」
      「： 鉴测试递归于式而
            有「可无」则发生事故于『递归不解构抽象在绑定变量获得了可无』
            或有（可有「结果」）则结果 ：」
  ）
    或有「式节点」于（「节点」）于「参数」则（
      鉴「测试递归」于「式」而
        有「可无」则（「合并」
          于「节点」
          于（（「态射」）
          于「参数」
          于（会「参」而（「式递归不解构抽象」授以「甲」）于「参」于「测试递归」于「默认值」于「合并」）））
        或有（「可有」于「结果」）则「结果」
    ）
    或有「绑定」于「名」于「下式」则（（「式递归不解构抽象」授以「甲」）于「下式」于「测试递归」于「默认值」于「合并」）
也。

「：返回者如果自由变量不再lambda节点下出现：」
「自由变量在式顶层出现」乃化「表达式」而化「字符串」而「爻」也。
「自由变量在式顶层出现」者会「式」而会「名」而
  （「式递归不解构抽象」授以「爻」）
  于「式」
  于（会「内式」而
  鉴「内式」而
    有「自由变量」于「内名」则（「可有」于（「串相等」于「名」于「内名」））
    或有（「式节点」于（「拉姆达抽象」于「形」）于「参」）则（「可有」于「阴」）
    或有（「式节点」于（「拉姆达抽象带类型」于「形」）于「参」）则（「可有」于「阴」）
    或有「其他」则「可无」
  ）于「阴」于（会「节点名」而会「子结果们」而（「从左折叠」授以「爻」授以「爻」）于「或者」于「阴」于「子结果们」）
也。

「表达式统一操作」乃化（化「表达式」而「表达式」）而化「表达式」而「表达式」也。
「表达式统一操作」者会「操作」而会「式」而
  鉴「式」而
    有「自由变量」于「名」则「自由变量」于「名」
    或有「绑定变量」于「序数」则（「发生事故」于『不应出现绑定变量443』）
    或有「绑定」于「名」于「下式」则（「抽象表达式操作」于「式」于「操作」）
    或有「式节点」于「名称」于「式列」则
      「式节点」于「名称」于（（「态射」）于「式列」于（「操作」））
    或有「其他」则
      「发生事故」于『未有487』
也。

「表达式可选操作」乃
  化（化「表达式」而（「或可有」于「表达式」））而
  化「表达式」而
  「表达式」
也。
「表达式可选操作」者会「操作」而会「式」而
  鉴（「操作」于「式」）而
    有（「可有」于「后式」）则「后式」
    或有「可无」则（「表达式统一操作」于（会「待操作式」而「表达式可选操作」于「操作」于「待操作式」）于「式」）
也。
