寻观「标准库」之书。

寻观「编译器核心」之「编译数据」之「操作符」之「操作符数据结构」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「命名环境术」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。

「带定义绑定递归带名」乃化「命名环境」而化「表达式」 「：值：」而
  化「表达式」 「：绑定：」而
  化（化「字符串」而化「命名环境」而化「表达式」而「表达式」）而
  「表达式」 「：最终返回的绑定式：」
也。
「带定义绑定递归带名」者会「境」而会「值」而会「绑定式」而会「递归函数」而
  虑「抽象名及式体」者「解构抽象不重复名称」于「绑定式」于（「命名环境获取所有名称」于「境」）而
  「进行抽象」于（「抽象名及式体」中「零」）于（「递归函数」于（「抽象名及式体」中「零」）
    于（「添加声明不改变名」于『优44』于「境」于（「抽象名及式体」中「零」）于「值」）
    于（「抽象名及式体」中「一」））
也。

「带定义多绑定递归」乃化「整数」而化「命名环境」而化「表达式」 「：值：」而
  化「表达式」 「：绑定：」而
  化（化「命名环境」而化「表达式」而「表达式」）而
  「表达式」 「：最终返回的绑定式：」
也。
「带定义多绑定递归」者会「个数」而会「境」而会「值」而会「多绑定式」而会「递归函数」而
  虑「无」者「编译调试打印行」于『mult_bind_recurse』于（会「无」而『正则多绑定递归，』附（「整数表示」于「个数」）附
    『，』附（「表达式表示」于「多绑定式」））而
  若（「大于」于「个数」于「零」）则（虑「无」者「编译调试打印行」于『mult_bind_recurse』
    于（会「无」而『继续，』附（「整数表示」于「个数」）附『，』附（「表达式表示」于「多绑定式」））而
                                      虑「抽象名及式体」者「解构抽象不重复名称」于「多绑定式」
                                      于（「命名环境获取所有名称」于「境」）而
                                      「进行抽象」于（「抽象名及式体」中「零」）
                                      于（「带定义多绑定递归」
                                      于（「减」于「个数」于「一」）
                                      于（「添加声明不改变名」于『优27』于「境」于（「抽象名及式体」中「零」）于「值」）于
                                      「值」
                                      于（「抽象名及式体」中「一」）于「递归函数」））
  否则
    （虑「无」者「编译调试打印行」于
      『mult_bind_recurse』于（会「无」而
        『返回，』附（「整数表示」于「个数」）
        附『，』附（「表达式表示」于「多绑定式」））
      而
      「递归函数」于「境」于「多绑定式」
    ）也。

「多绑定递归」乃化「整数」而化「表达式」 「：绑定：」而
  化（化「表达式」而「表达式」）而
  「表达式」 「：最终返回的绑定式：」
也。
「多绑定递归」者会「个数」而会「多绑定式」而会「递归函数」而
  「带定义多绑定递归」于「个数」于「罄」于（「式节点」于「空值节点」于「罄」）于「多绑定式」
    于（会「境」而会「式」而「递归函数」于「式」）也。

「带定义绑定递归」乃化「命名环境」而化「表达式」 「：值：」而
  化「表达式」 「：绑定：」而
  化（化「命名环境」而化「表达式」而「表达式」）而
  「表达式」 「：最终返回的绑定式：」
也。
「带定义绑定递归」者会「境」而会「值」而会「绑定式」而会「递归函数」而
  虑「抽象名及式体」者「解构抽象不重复名称」于「绑定式」于（「命名环境获取所有名称」于「境」）而
  「进行抽象」于（「抽象名及式体」中「零」）于（「递归函数」于（「添加声明不改变名」于『优44』于「境」
        于（「抽象名及式体」中「零」）于「值」
    ）于（「抽象名及式体」中「一」））
也。

「：用于不知道定义的变量占位（例如续延和递归变量）：」
「占位式」者「式节点」于「待定节点」于「罄」也。

「表达式带定义统一操作」乃化（化「命名环境」而化「表达式」而「表达式」）而化「命名环境」而化「表达式」而「表达式」也。
「表达式带定义统一操作」者会「操作」而会「境」而会「式」而
  鉴「式」而
    有「自由变量」于「名」则「自由变量」于「名」
    或有「绑定变量」于「序数」则（「发生事故」于『不应出现绑定变量443』）
    或有「绑定」于「名」于「下式」则（「带定义绑定递归」于「境」于「占位式」于「式」于「操作」）
    或有（「式节点」于「内联虑」于（（「列」【「当前式」，「后式」】）））
    则（虑「后当前式」者（「操作」于「境」于「当前式」）而
        （「式节点」于「内联虑」
          于（（（「列」于「表达式」）也（（「列」【「后当前式」，（「带定义绑定递归」于「境」于「后当前式」于「后式」于「操作」）】））））））
    或有「式节点」于「名称」于「式列」则「式节点」于「名称」于（（「态射」）于
      「式列」于（会「子式」而「操作」于「境」于「子式」））
    或有「其他」则「发生事故」于『未有487』
也。
