豫言源码浏览器 / 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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107

寻观「标准库」之书。

「：文言：值型、存储型各别，具体堆型须待模块释义。汉语：完整类型描述保留宽数值、引用可空性、字段可变性和递归类型组；此文件不把具体类型编号误当跨模块类型身份。：」
「网页抽象堆型」立「元类型」也。
  「网页函数堆」立「网页抽象堆型」也。
  「网页外部堆」立「网页抽象堆型」也。
  「网页任意堆」立「网页抽象堆型」也。
  「网页可等堆」立「网页抽象堆型」也。
  「网页小整堆」立「网页抽象堆型」也。
  「网页结构堆」立「网页抽象堆型」也。
  「网页数组堆」立「网页抽象堆型」也。
  「网页空聚合堆」立「网页抽象堆型」也。
  「网页空函数堆」立「网页抽象堆型」也。
  「网页空外部堆」立「网页抽象堆型」也。
  「网页异常堆」立「网页抽象堆型」也。
  「网页空异常堆」立「网页抽象堆型」也。
「网页堆型」立「元类型」也。
  「网页抽象堆」立化「网页抽象堆型」而「网页堆型」也。
  「网页具体堆」立化「整数」而「网页堆型」也。
「网页完整值型」立「元类型」也。
  「网页整三二型」立「网页完整值型」也。
  「网页整六四型」立「网页完整值型」也。
  「网页浮三二型」立「网页完整值型」也。
  「网页浮六四型」立「网页完整值型」也。
  「网页向量型」立「网页完整值型」也。
  「网页引用值型」立化「爻」而化「网页堆型」而「网页完整值型」也。
「网页存储型」立「元类型」也。
  「网页整八存储」立「网页存储型」也。
  「网页整十六存储」立「网页存储型」也。
  「网页普通存储」立化「网页完整值型」而「网页存储型」也。

「网页字段型」即「爻」
  合「网页存储型」
也。

「网页完整签名」即（「列」于「网页完整值型」）
  合（「列」于「网页完整值型」）
也。
「网页复合型」立「元类型」也。
  「网页函数复合」立化「网页完整签名」而「网页复合型」也。
  「网页结构复合」立化（「列」于「网页字段型」）而「网页复合型」也。
  「网页数组复合」立化「网页字段型」而「网页复合型」也。

「：文言：首爻记终型，次列记父型，末项记其体。汉语：子型声明依次保存 final 标记、父类型编号列表和复合类型；编号的作用域及合法性由模块验证器检查。：」
「网页子型声明」即
  「爻」
  合（「列」于「整数」）
  合「网页复合型」
也。

「网页递归型组」即「列」于「网页子型声明」也。

「网页抽象堆序」乃化「网页抽象堆型」而「整数」也。
「网页抽象堆序」者会「型」而
  鉴「型」而
    有「网页函数堆」则「零」
    或有「网页外部堆」则「一」
    或有「网页任意堆」则「二」
    或有「网页可等堆」则「三」
    或有「网页小整堆」则「四」
    或有「网页结构堆」则「五」
    或有「网页数组堆」则「六」
    或有「网页空聚合堆」则「七」
    或有「网页空函数堆」则「八」
    或有「网页空外部堆」则「九」
    或有「网页异常堆」则「一零」
    或有「网页空异常堆」则「一一」
也。

「：文言：四系不相通，空底各守其系。汉语：仅判定抽象堆类型的规范子类型关系；函数、外部、聚合和异常四条层次不能相互转换为子类型。：」
「网页抽象堆相容」乃化「网页抽象堆型」而化「网页抽象堆型」而「爻」也。
「网页抽象堆相容」者会「源」而会「目」而
  虑「甲」者「网页抽象堆序」于「源」而
  虑「乙」者「网页抽象堆序」于「目」而
  若「等于」于「甲」于「乙」则「阳」否则鉴「源」而
    有「网页空函数堆」则
      「等于」于「乙」于「零」
    或有「网页空外部堆」则
      「等于」于「乙」于「一」
    或有「网页空异常堆」则
      「等于」于「乙」于「一零」
    或有「网页空聚合堆」则
      「且」于（「非」于（「小于」于「乙」于「二」））于（「小于」于「乙」于「七」）
    或有「网页可等堆」则
      「等于」于「乙」于「二」
    或有「网页小整堆」则
      「或者」于（「等于」于「乙」于「二」）于（「等于」于「乙」于「三」）
    或有「网页结构堆」则
      「或者」于（「等于」于「乙」于「二」）于（「等于」于「乙」于「三」）
    或有「网页数组堆」则
      「或者」于（「等于」于「乙」于「二」）于（「等于」于「乙」于「三」）
    或有「其他」则「阴」
也。

「网页值可默认」乃化「网页完整值型」而「爻」也。
「网页值可默认」者会「型」而
  鉴「型」而
    有「网页引用值型」于「可空」于「堆」则「可空」
    或有「其他」则「阳」
也。

「网页存储展开」乃化「网页存储型」而「网页完整值型」也。
「网页存储展开」者会「型」而
  鉴「型」而
    有「网页普通存储」于「值」则「值」
    或有「其他」则「网页整三二型」
也。