寻观「标准库」之书。

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

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

寻观「拓展库」之「顺序标识符」之「顺序标识符」之书。

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

「条目表示」乃化「条目」而「字符串」也。
「条目表示」者会「目」而鉴「目」而
  有「本地条目」于「名」于「类」则（「名」）附『：』附（「表达式表示」于「类」）
  或有「文件定义条目」于「文件名」于「定义名」于「类」于「物」则
    『文件定义：』附「文件名」附『：』附「定义名」附『：』附（「表达式表示」于「类」）
也。

「命名环境表示」乃化「命名环境」而「字符串」也。
「命名环境表示」者会「境」而「间合」于『「：换行：」』于（（「态射」）于「境」于「条目表示」）也。

「： 名称解析结果立类型也。
    绝对解析立化表达式而名称解析结果也。
    未找到解析立名称解析结果也。 ：」

「解析单个名称」乃化「命名环境」而化「字符串」而「或可有」于「表达式」也。
「解析单个名称」者
  会「境」而会「搜索名」而
    「：尝试绝对解析：」
    鉴（（「滤态射」授以「条目」授以「表达式」）于（会「明」而鉴「明」而
          有（「本地条目」于「名」于「类」）则
            （若（「串相等」于「搜索名」于「名」）则（「可有」于「类」）否则「可无」）
          或有（「文件定义条目」于「忽略文件名」于「忽略定义名」于「忽略类」于「忽略物」）则「可无」
      ）
      于（「境」））而
      有（「缀」于「找到」于「尾」）则（「可有」于「找到」）
      或有「罄」则
        （「可无」）
也。

「找到名称」乃化「命名环境」而化「字符串」而「表达式」也。
「找到名称」者会「境」而会「名」而
  鉴「解析单个名称」于「境」于「名」而
    有（「可有」于「式」）则「式」
    或有「可无」则「发生事故」于『未找到名称：』附（「名」）附『在以下环境中：换行』附（「命名环境表示」于「境」）
也。

「命名环境获取所有名称」乃化「命名环境」而「列」于「字符串」也。
「命名环境获取所有名称」者会「境」而
  （「滤态射」授以「条目」授以「字符串」）于（会「明」而
    鉴（「明」）而
      有（「本地条目」于「名」于「类」）则「可有」于「名」
      或有（「文件定义条目」于「忽略文件名」于「忽略定义名」于「忽略类」于「忽略物」）则「可无」
  ）于「境」也。

「默认命名环境」者（「态射」授以「内建常量」授以「条目」）于「所有内建常量」
  于（会「量」而「本地条目」于（「内建常量表示」于「量」）于（「内建物类型」于「量」））也。

「添加声明」乃化「命名环境」而化「字符串」而化「表达式」而（「字符串」合「命名环境」）也。
「添加声明」者会「境」而会「串」而会「类」而
  虑「名」者（若（「存在吗」授以「字符串」）于（会「已有名」而「串相等」于「串」于「已有名」）
    于（「命名环境获取所有名称」于「境」）
  则
    （「下个字符序数」于「串」）
  否则
    「串」
  ）而
  虑「无」者（「详细调试打印行」于（会「无」而『添加声明』附「串」附『，类：』附（「表达式表示」于「类」）））而
  虑「无」者（「编译调试打印行」于『env_add』于（会「无」而『添加声明』附「串」附『，类：』附（「表达式表示」于「类」）））
  而
  「名」与（「缀」于（「本地条目」于「名」于「类」）于「境」）
也。

「添加声明不改变名」乃化「字符串」而化「命名环境」而化「字符串」而化「表达式」而（「命名环境」）也。
「添加声明不改变名」者会「调试」而会「境」而会「串」而会「类」而
  虑「名及境」者「添加声明」于「境」于「串」于「类」而
  若「串相等」于（「名及境」中「零」）于「串」则
    （「名及境」中「一」）
  否则
    （「发生事故」于「调试」附『重复的名称：』附「串」）
也。

「添加模式匹配声明」乃化「命名环境」而化「表达式」而「命名环境」也。
「添加模式匹配声明」者会「境」而会「模式」而
  虑「模式新变量们」者「读取模式匹配新变量」于「模式」而
  虑「新境」者（（「从左折叠」授以「字符串」授以「命名环境」）
    于（会「新名」而会「已有境」而
      「添加声明不改变名」于『119』于「已有境」于「新名」于（「式节点」于「待定节点」于「罄」） 「：TODO 用真实的类型：」
    ）于「境」于「模式新变量们」
  ）而
  「新境」也。
