豫言源码浏览器 / 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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186

寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「数据结构」之「字符串术」之书。
寻观「标准库」之「数据结构」之「多态列」之书。
寻观「标准库」之「数据结构」之「爻术」之书。

「：因为v0.1版本对于对子类型的自动匹配不完全，这些函数可以帮助类型检查
TODO：在v0.2版本中应当可以移除这些函数：」
「：
汉语：取二对子中索引零的分量。
文言：取二对子之首分。
赋曰：双玉并藏一匣中，先拈左玉照晴空。后珠仍在原来处，只取前光入掌红。
：」
「二对子取零」乃承「甲」而承「乙」而化「甲」合「乙」而「甲」也。
「二对子取零」者会「对」而
  「对」中「零」
也。

「：
汉语：取二对子中索引一的分量。
文言：取二对子之次分。
赋曰：两颗明珠列案前，独将右玉取来悬。不因首位光先到，误把旁辉作此篇。
：」
「二对子取一」乃承「甲」而承「乙」而化「甲」合「乙」而「乙」也。
「二对子取一」者会「对」而
  「对」中「一」
也。

「：
汉语：接收二对子和二元函数，将两个分量依次传给函数并返回结果。
文言：解对为二，依序授术而还其得。
赋曰：双封启后各传言，左先右后到君前。须按原行交两物，合成新意付云笺。
：」
「解构二对子」乃
  承「甲」而
  承「乙」而
  承「丙」而
  化「甲」合「乙」而
  化（化「甲」而化「乙」而「丙」）而
  「丙」
也。
「解构二对子」者会「对」而会「操」而
  「操」于（「对」中「零」）于（「对」中「一」）
也。

「：
汉语：分别用两个函数处理对子左右分量，返回新对子。
文言：以二术各施左右，复合为对。
赋曰：两枝各受一方风，左绿新成右染红。琢罢依然双玉并，不同光彩共玲珑。
：」
「二对子操作」乃
  承「甲」而
  承「乙」而
  承「丙」而
  承「丁」而
  化「甲」合「乙」而
  化（化「甲」而「丙」）而
  化（化「乙」而「丁」）而
  「丙」合「丁」
也。
「二对子操作」者会「对」而会「操零」而会「操一」而
  （「操零」于（「对」中「零」））与（「操一」于（「对」中「一」））
也。

「：
汉语：只映射二对子的第零分量，保留第一分量。
文言：施术于首，次分不易，复合之。
赋曰：左玉重磨右玉存，一边新色一边温。双珠并置还成对，只改前光不改根。
：」
「二对子操作零」乃
  承「甲」而
  承「乙」而
  承「丙」而
  化「甲」合「乙」而
  化（化「甲」而「丙」）而
  「丙」合「乙」
也。
「二对子操作零」者会「对」而会「操」而
  （「操」于（「对」中「零」））与（「对」中「一」）
也。

「：
汉语：只映射二对子的第一分量，保留第零分量。
文言：首分不易，施术于次，复合之。
赋曰：右岸花开换旧妆，左堤依旧柳丝长。双行重结风光在，一半春新一半常。
：」
「二对子操作一」乃
  承「甲」而
  承「乙」而
  承「丁」而
  化「甲」合「乙」而
  化（化「乙」而「丁」）而
  「甲」合「丁」
也。
「二对子操作一」者会「对」而会「操」而
  （「对」中「零」）与（「操」于（「对」中「一」））
也。

「：
汉语：接收左右比较函数及两个对子，只有两边对应分量都相等才为阳；两次比较都会求值。
文言：左右各以其术校二对，俱同乃阳，二校皆行。
赋曰：左右双关各验明，两边相契始同声。一方玉合非全合，还待双珠共此清。
：」
「二对子相等」乃
  承「甲」而承「乙」而
  化（化「甲」而化「甲」而「爻」）而
  化（化「乙」而化「乙」而「爻」）而
  化（「甲」合「乙」）而
  化（「甲」合「乙」）而
  「爻」
也。
「二对子相等」者会「等左」而会「等右」而会「对一」而会「对二」而
  「且」
    于（「等左」于（「对一」中「零」）于（「对二」中「零」））
    于（「等右」于（「对一」中「一」）于（「对二」中「一」））
也。

「：
汉语：分别表示左右分量，以“（左与右）”格式返回字符串。
文言：各书左右，以与联之，括其外。
赋曰：双珠各写一行词，中着连言合两枝。外括收来成一对，开笺便识共栖时。
：」
「二对子表示」乃
  承「甲」而承「乙」而
  化（化「甲」而「字符串」）而
  化（化「乙」而「字符串」）而
  化（「甲」合「乙」）而
  「字符串」
也。
「二对子表示」者会「表示左」而会「表示右」而会「对」而
  「串组合并」于（（「列」【
    『（』，
    （「表示左」于（「对」中「零」）），
    『与』，
    （「表示右」于（「对」中「一」）），
    『）』
  】）
  ）
也。

「：
汉语：取三对子中索引零的分量。
文言：取三对子之首分。
赋曰：三珠并列案头明，独取初光入手轻。不向后行移眼界，首颗分明自有名。
：」
「三对子取零」乃
  承「甲」而
  承「乙」而
  承「丙」而
  化「甲」合「乙」合「丙」而
  「甲」
也。
「三对子取零」者会「对」而
  「对」中「零」
也。

「：
汉语：取三对子中索引一的分量。
文言：取三对子之中分。
赋曰：三点星光一字横，中间独照眼前明。两旁不是今番取，认准中珠便定名。
：」
「三对子取一」乃
  承「甲」而
  承「乙」而
  承「丙」而
  化「甲」合「乙」合「丙」而
  「乙」
也。
「三对子取一」者会「对」而
  「对」中「一」
也。

「：
汉语：取三对子中索引二的分量。
文言：取三对子之末分。
赋曰：三玉排开照小楼，只将末颗掌中收。前光虽好无须取，所问分明在后头。
：」
「三对子取二」乃
  承「甲」而
  承「乙」而
  承「丙」而
  化「甲」合「乙」合「丙」而
  「丙」
也。
「三对子取二」者会「对」而
  「对」中「二」
也。