豫言源码浏览器 / 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

「：模式合一只是在结构比较时允许左侧局部变量由上下文求解：」

寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。
寻观「编译器核心」之「编译步骤」之「类型检查」之「模式合一结构比较」之书。

「尝试匹配合一」乃
  化「匹配合一上下文」而
  化「表达式」而
  化「表达式」而
  「匹配合一上下文」
也。
「尝试匹配合一」者会「上下文」而会「左式」而会「右式」而
  「尝试运行」于（会「无」而「结构比较携上下文」于「上下文」于「左式」于「右式」）
  于（会「忽略事故」而「上下文」）
也。

「断言类型相等」乃化「表达式」而化「表达式」而「有」也。
「断言类型相等」者会「左式」而会「右式」而
  「尝试运行」
    于（会「元」而「结构比较」于「左式」于「右式」）
    于（会「事故」而
      「发生事故」
        于「事故」附『「：换行：」=====》》》》在检查类型相等时：』附（「表达式表示」于「左式」）附
          『 = 』
            附（「表达式表示」于「右式」））
也。