豫言源码浏览器 / 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
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398

寻观「标准库」之「豫言标准内核」之书。

「：
网页客户端是一个纯函数调用式的前端组件核心。
它不依赖模板、JSX、PPX 或其他特殊语法。

节点和属性是宿主无关的虚拟文档数据；组件是返回节点的普通函数。
状态组件显式接收当前状态与更新函数，不依赖隐式钩子顺序。
当前宿主提供确定性超文本渲染和事件模拟；浏览器宿主可在后续接入 DOM。
：」

「网页事件」即
  「字符串」 「：事件名：」
  合
  「字符串」 「：目标标识：」
  合
  「字符串」 「：输入值：」
也。

「事件名」乃化「网页事件」而「字符串」也。
「事件名」者会「事件」而
  「事件」中「零」
也。

「事件目标标识」乃化「网页事件」而「字符串」也。
「事件目标标识」者会「事件」而
  「事件」中「一」
也。

「事件输入值」乃化「网页事件」而「字符串」也。
「事件输入值」者会「事件」而
  「事件」中「二」
也。

「网页属性」立「元类型」也。
  「文本属性」立化「字符串」而化「字符串」而「网页属性」也。
  「开关属性」立化「字符串」而化「爻」而「网页属性」也。
  「事件属性」立化「字符串」而化（化「网页事件」而「有」）而「网页属性」也。

「属性」乃化「字符串」而化「字符串」而「网页属性」也。
「属性」者「文本属性」也。

「布尔属性」乃化「字符串」而化「爻」而「网页属性」也。
「布尔属性」者「开关属性」也。

「事件处理」乃化「字符串」而化（化「网页事件」而「有」）而「网页属性」也。
「事件处理」者「事件属性」也。

「点击时」乃化（化「网页事件」而「有」）而「网页属性」也。
「点击时」者会「处理」而
  「事件处理」于『点击』于「处理」
也。

「输入时」乃化（化「网页事件」而「有」）而「网页属性」也。
「输入时」者会「处理」而
  「事件处理」于『输入』于「处理」
也。

「标识」乃化「字符串」而「网页属性」也。
「标识」者会「值」而
  「属性」于『id』于「值」
也。

「样式」乃化「字符串」而「网页属性」也。
「样式」者会「值」而
  「属性」于『style』于「值」
也。

「类名」乃化「字符串」而「网页属性」也。
「类名」者会「值」而
  「属性」于『class』于「值」
也。

「网页节点」立「元类型」也。
  「空节点」立「网页节点」也。
  「文字节点」立化「字符串」而「网页节点」也。
  「原文节点」立化「字符串」而「网页节点」也。
  「元素节点」立化「字符串」而化（「列」于「网页属性」）而化（「列」于「网页节点」）而「网页节点」也。
  「节点组」立化（「列」于「网页节点」）而「网页节点」也。

「空白」乃化「有」而「网页节点」也。
「空白」者会「无」而
  「空节点」
也。

「文字」乃化「字符串」而「网页节点」也。
「文字」者「文字节点」也。

「可信原文」乃化「字符串」而「网页节点」也。
「可信原文」者「原文节点」也。

「元素」乃
  化「字符串」而
  化（「列」于「网页属性」）而
  化（「列」于「网页节点」）而
  「网页节点」
也。
「元素」者「元素节点」也。

「片段」乃化（「列」于「网页节点」）而「网页节点」也。
「片段」者「节点组」也。

「分区」乃
  化（「列」于「网页属性」）而
  化（「列」于「网页节点」）而
  「网页节点」
也。
「分区」者会「属性们」而会「子节点们」而
  「元素」于『div』于「属性们」于「子节点们」
也。

「段落」乃
  化（「列」于「网页属性」）而
  化（「列」于「网页节点」）而
  「网页节点」
也。
「段落」者会「属性们」而会「子节点们」而
  「元素」于『p』于「属性们」于「子节点们」
也。

「一级标题」乃
  化（「列」于「网页属性」）而
  化（「列」于「网页节点」）而
  「网页节点」
也。
「一级标题」者会「属性们」而会「子节点们」而
  「元素」于『h1』于「属性们」于「子节点们」
也。

「按钮」乃
  化（「列」于「网页属性」）而
  化（「列」于「网页节点」）而
  「网页节点」
也。
「按钮」者会「属性们」而会「子节点们」而
  「元素」于『button』于「属性们」于「子节点们」
也。

「输入框」乃化（「列」于「网页属性」）而「网页节点」也。
「输入框」者会「属性们」而
  「元素」于『input』于「属性们」于「罄」
也。

「无序列表」乃
  化（「列」于「网页属性」）而
  化（「列」于「网页节点」）而
  「网页节点」
也。
「无序列表」者会「属性们」而会「子节点们」而
  「元素」于『ul』于「属性们」于「子节点们」
也。

「列表项」乃
  化（「列」于「网页属性」）而
  化（「列」于「网页节点」）而
  「网页节点」
也。
「列表项」者会「属性们」而会「子节点们」而
  「元素」于『li』于「属性们」于「子节点们」
也。

「验证网页名称」乃化「字符串」而「有」也。
「验证网页名称」者会「名称」而
  若「或者」
    于（「字符串相等吗」于「名称」于『』）
    于（「或者」
      于（「是子字符串吗」于『 』于「名称」）
      于（「或者」
        于（「是子字符串吗」于『<』于「名称」）
        于（「或者」
          于（「是子字符串吗」于『>』于「名称」）
          于（「或者」于（「是子字符串吗」于『"』于「名称」）于（「是子字符串吗」于『=』于「名称」）））））
  则
    「发生事故」于（『无效的网页名称：』附「名称」）
  否则
    「元」
也。

「转义网页文字」乃化「字符串」而「字符串」也。
「转义网页文字」者会「文字值」而
  「串查找替换」
    于（「串查找替换」
      于（「串查找替换」于（「串查找替换」于「文字值」于『&』于『&amp;』）于『<』于『&lt;』）
      于『>』于『&gt;』）
      于『"』于『&quot;』
也。

「渲染属性」乃化「网页属性」而「字符串」也。
「渲染属性」者会「属性值」而
  鉴「属性值」而
    有（「文本属性」于「名称」于「值」）则
      （虑「无」者「验证网页名称」于「名称」而『 』附「名称」附『="』附（「转义网页文字」于「值」）附『"』）
    或有（「开关属性」于「名称」于「开启」）则
      若「开启」则（虑「无」者「验证网页名称」于「名称」而『 』附「名称」）否则『』
    或有（「事件属性」于「名称」于「处理」）则『』
也。

「渲染属性们」乃化（「列」于「网页属性」）而「字符串」也。
「渲染属性们」者会「属性们」而
  鉴「属性们」而
    有「罄」则『』
    或有（「缀」于「当前」于「余下」）则（「渲染属性」于「当前」）附（「渲染属性们」于「余下」）
也。

「空元素吗」乃化「字符串」而「爻」也。
「空元素吗」者会「标签」而
  「或者」
    于（「字符串相等吗」于「标签」于『input』）
    于（「或者」
      于（「字符串相等吗」于「标签」于『br』）
      于（「或者」
        于（「字符串相等吗」于「标签」于『hr』）
        于（「或者」
          于（「字符串相等吗」于「标签」于『img』）
          于（「或者」于（「字符串相等吗」于「标签」于『meta』）于（「字符串相等吗」于「标签」于『link』）））））
也。

「渲染节点」乃化「网页节点」而「字符串」也。
「渲染节点」者会「节点」而
  鉴「节点」而
    有「空节点」则『』
    或有（「文字节点」于「文字值」）则
      「转义网页文字」于「文字值」
    或有（「原文节点」于「原文值」）则「原文值」
    或有（「节点组」于「子节点们」）则
      「串组合并」于（「态射」授以「网页节点」授以「字符串」于「子节点们」于「渲染节点」）
    或有（「元素节点」于「标签」于「属性们」于「子节点们」）则（
      虑「无」者「验证网页名称」于「标签」而
      虑「开头」者『<』附「标签」附（「渲染属性们」于「属性们」）附『>』而
      若「空元素吗」于「标签」
      则
        「开头」
      否则
        「开头」附（「串组合并」于（「态射」授以「网页节点」授以「字符串」于「子节点们」于「渲染节点」））附『</』附
          「标签」附『>』
    ）
也。

「渲染节点们」乃化（「列」于「网页节点」）而「字符串」也。
「渲染节点们」者会「节点们」而
  鉴「节点们」而
    有「罄」则『』
    或有（「缀」于「当前」于「余下」）则（「渲染节点」于「当前」）附（「渲染节点们」于「余下」）
也。

「组件」立「元类型」也。
  「构造组件」立化（化「有」而「网页节点」）而「组件」也。

「建立组件」乃化（化「有」而「网页节点」）而「组件」也。
「建立组件」者「构造组件」也。

「静态组件」乃化「网页节点」而「组件」也。
「静态组件」者会「节点」而
  「构造组件」于（会「无」而「节点」）
也。

「组件节点」乃化「组件」而「网页节点」也。
「组件节点」者会「组件值」而
  鉴「组件值」而
    有（「构造组件」于「视图函数」）则「视图函数」于「元」
也。

「呈现组件」乃化「组件」而「字符串」也。
「呈现组件」者会「组件值」而
  「渲染节点」于（「组件节点」于「组件值」）
也。

「建立状态组件」乃
  承「甲」而
  化「甲」而
  化（化「甲」而化（化「甲」而「有」）而「网页节点」）而
  「组件」
也。
「建立状态组件」者受「甲」而会「初始状态」而会「视图函数」而
  虑「状态」者「新引用」于「初始状态」而
  「构造组件」于（会「无」而「视图函数」于（「读引用」于「状态」）于（会「新状态」而「写引用」于「状态」于「新状态」））
也。

「建立归约组件」乃
  承「甲」而承「乙」而
  化「甲」而
  化（化「甲」而化「乙」而「甲」）而
  化（化「甲」而化（化「乙」而「有」）而「网页节点」）而
  「组件」
也。
「建立归约组件」者受「甲」而受「乙」而会「初始模型」而会「归约函数」而会「视图函数」而
  虑「模型」者「新引用」于「初始模型」而
  「构造组件」于（会「无」而
  「视图函数」
    于（「读引用」于「模型」）
    于（会「动作」而「写引用」于「模型」于（「归约函数」于（「读引用」于「模型」）于「动作」）））
也。

「元素标识」乃化（「列」于「网页属性」）而（「或可有」于「字符串」）也。
「元素标识」者会「属性们」而
  鉴「属性们」而
    有「罄」则「可无」
    或有（「缀」于（「文本属性」于「名称」于「值」）于「余下」）则
      若「字符串相等吗」于「名称」于『id』则「可有」于「值」否则「元素标识」于「余下」
    或有（「缀」于「其他」于「余下」）则
      「元素标识」于「余下」
也。

「触发属性事件」乃
  化（「列」于「网页属性」）而
  化「字符串」而
  化「网页事件」而
  「爻」
也。
「触发属性事件」者会「属性们」而会「待查事件名」而会「事件」而
  鉴「属性们」而
    有「罄」则「阴」
    或有（「缀」于（「事件属性」于「当前事件名」于「处理」）于「余下」）则
      若「字符串相等吗」于「当前事件名」于「待查事件名」
      则
        （「处理」于「事件」；
          「阳」）
      否则
        「触发属性事件」于「余下」于「待查事件名」于「事件」
    或有（「缀」于「其他」于「余下」）则
      「触发属性事件」于「余下」于「待查事件名」于「事件」
也。

「触发节点列表事件」乃
  化（「列」于「网页节点」）而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「爻」
也。
「触发节点列表事件」者会「剩余」而会「目标标识」而会「待查事件名」而会「输入值」而
  鉴「剩余」而
    有「罄」则「阴」
    或有（「缀」于「当前」于「余下」）则（
      鉴「当前」而
        有「空节点」则
          「触发节点列表事件」
            于「余下」
            于「目标标识」
            于「待查事件名」于「输入值」
        或有（「文字节点」于「文字内容」）则
          「触发节点列表事件」
            于「余下」
            于「目标标识」
            于「待查事件名」于「输入值」
        或有（「原文节点」于「原文内容」）则
          「触发节点列表事件」
            于「余下」
            于「目标标识」
            于「待查事件名」于「输入值」
        或有（「节点组」于「子节点们」）则
          「触发节点列表事件」
            于（「附加」授以「网页节点」于「子节点们」于「余下」）
            于「目标标识」
            于「待查事件名」
            于「输入值」
        或有（「元素节点」于「标签」于「属性们」于「子节点们」）则（
          鉴「元素标识」于「属性们」而
            有（「可有」于「当前标识」）则
              若「字符串相等吗」于「当前标识」于「目标标识」
              则
                「触发属性事件」
                  于「属性们」
                  于「待查事件名」
                  于（「待查事件名」与「目标标识」与「输入值」）
              否则
                「触发节点列表事件」
                  于（「附加」授以「网页节点」于「子节点们」于「余下」）
                  于「目标标识」于「待查事件名」于「输入值」
            或有「可无」则
              「触发节点列表事件」
                于（「附加」授以「网页节点」于「子节点们」于「余下」）
                于「目标标识」于「待查事件名」于「输入值」
        ）
    ）
也。

「触发节点事件」乃
  化「网页节点」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「爻」
也。
「触发节点事件」者会「根节点」而会「目标标识」而会「待查事件名」而会「输入值」而
  「触发节点列表事件」于（（「列」【「根节点」】））于「目标标识」于「待查事件名」于「输入值」
也。

「触发组件事件」乃
  化「组件」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「爻」
也。
「触发组件事件」者会「组件值」而会「目标标识」而会「待查事件名」而会「输入值」而
  「触发节点事件」于（「组件节点」于「组件值」）于「目标标识」于「待查事件名」于「输入值」
也。