豫言源码浏览器 / Source Browser

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45

寻观「标准库」之书。

寻观「编译器核心」之「编译数据」之「操作符」之「操作符数据结构」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「命名环境术」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。
寻观「编译器核心」之「编译步骤」之「总体过程」之「编译文件缓存工具」之书。

「命名环境读取具体定义式」乃化「命名环境」而化「表达式」而「表达式」也。
「命名环境读取具体定义式」者会「境」而会「原定义」而
  虑「递归」者
    （化「表达式」而「表达式」也会「后定义」而「命名环境读取具体定义式」于「境」于「后定义」）而
    虑「结果」者
      （
        鉴「原定义」而
          有（「自由变量」于「新名」）则
            （鉴（「找到名称」于「境」于「新名」）而
            有「其他定义」则（「递归」于「其他定义」））
          或有（「式节点」于（「自由变量标注节点」于「标注名」）于（（「列」【（「内式」）】）））则
            （「命名环境读取具体定义式」于「境」于（「内式」））
          或有（「式节点」于（「元组解构节点」于「序数」）于（（「列」【「可能元组值」】）））则（
            鉴（「命名环境读取具体定义式」于「境」于（「可能元组值」））而
              有（「式节点」于「元组构造节点」于「参数们」）则（
                若（「小于」于「序数」于（「长度」于「参数们」））
                则
                  「递归」于（「第N个」于「序数」于「参数们」）
                否则
                  「发生事故」
                    于『序数错误72，』附『原定义』附（「表达式表示」于「原定义」）附『序数：』
                      附（「整数表示」于「序数」）附『，长度：』附（「整数表示」于（「长度」于「参数们」））
                      附（「命名环境表示」于「境」）
              ）
              或有「其他」则（若（「是文件引用节点」于「可能元组值」）则（「原定义」）否则（（「原定义」）））
          ）
          或有「其他」则（「原定义」）
      ）
    而
    虑「无」者
      「编译调试打印行」
        于『opt_def_lookup_trace』
        于（会「无」而
          『定义查找结果，名称：』附（「表达式表示」于「原定义」）附『，结果：』附（「表达式表示」于「结果」））
    而
    「结果」
也。