寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「操作符」之「操作符数据结构」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「编译器核心」之「编译步骤」之「优化」之「基础工具」之「表达式带定义操作」之书。

「处理闭包函数定义」乃化「表达式」 「：函数式：」而
  化（化「命名环境」而化「表达式」而「表达式」）而
  「表达式」 「：最终返回的绑定式：」
也。
「处理闭包函数定义」者会「式」而会「递归函数」而
  鉴「式」而
    有（「式节点」于（「拉姆达抽象」于（「多参数形」于「个数」））于（（「列」【「多绑定」】）））则
      「式节点」于（「拉姆达抽象」于（「多参数形」于「个数」））
        于（（「列」【（「带定义多绑定递归」于「个数」于「罄」于「占位式」于「多绑定」于「递归函数」）】））
    或有「其他」则「发生事故」于『期待拉姆达抽象二参数，却得到了』附（「表达式表示」于「式」）
也。
