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

寻观「标准库」之「语言核心」之「内建类型」之书。

寻观「标准库」之「语言核心」之「异常」之书。

「：
汉语：类型构造器：给定元素类型，构成可有或可无的可选类型，不创建具体元素。
文言：受物类而成可有可无之类，非造其物。
赋曰：先开双室待珍藏，一室空明一室光。有物无物皆有位，任凭来者定其章。
：」
「或可有」立化「元类型」而「元类型」也。
「：
汉语：将一个值包装为对应类型的可选值，表示确实有值。
文言：裹所授物为可有，以明其存。
赋曰：明珠入匣系红签，有物分明记外边。待到来人开却后，原光仍照掌中圆。
：」
  「可有」立（承「甲」而化「甲」而「或可有」于「甲」）也。
    「：
汉语：构造指定元素类型的空可选值，不携带元素。
文言：依所授类成可无，不藏其物。
赋曰：空函有记到君前，未得珍珠也可传。不是遗书无消息，无中自有一言全。
：」
  「可无」立承「甲」而「或可有」于「甲」也。

「：
汉语：取出可有中的值；传入可无时抛出事故。
文言：有则取其物，无则告事故。
赋曰：探匣寻珠启玉扉，珠存掌上照清辉。空箱莫作珍藏取，一声相告止人归。
：」
「获取可有内容」乃承「甲」而化（「或可有」于「甲」）而「甲」也。
「获取可有内容」者受「甲」而会「可」而
  鉴「可」而
    有（「可有」于「物」）则「物」
    或有「可无」则（「甲」也（「发生事故」于『试图从可无中获取信息』））
也。

「：
汉语：对可有中的值应用函数并重新包装，可无保持可无。
文言：有则施射于物而裹之，无则仍无。
赋曰：匣中有玉琢成章，空匣依然守旧藏。莫向无中强生物，只随所有换新光。
：」
「可有态射」乃
  承「甲」而承「乙」而
  化（「或可有」于「甲」）而
  化（化「甲」而「乙」）而
  「或可有」于「乙」
也。
「可有态射」者会「可」而会「射」而
  鉴「可」而
    有（「可有」于「物」）则（「可有」于（「射」于「物」））
    或有「可无」则「可无」
也。

「：
汉语：判断可选值是否为可有，不取出内容。
文言：辨其有无，不取其物。
赋曰：但问匣中有物无，无须探取匣中珠。一开名目知虚实，不改其中旧画图。
：」
「有吗」乃承「甲」而化（「或可有」于「甲」）而「爻」也。
「有吗」者受「甲」而会「可」而
  鉴「可」而
    有（「可有」于「物」）则「阳」
    或有「可无」则「阴」
也。

「：
汉语：用给定比较函数比较两个可有的内容；两个可无相等，一有一无不等。
文言：皆有则以所授法校物，皆无则同，一有一无则异。
赋曰：双匣藏珠按玉衡，俱空亦可许同声。一边有物一边寂，纵未开箱已两程。
：」
「可选值相等」乃
  承「甲」而
  化（化「甲」而化「甲」而「爻」）而
  化（「或可有」于「甲」）而
  化（「或可有」于「甲」）而
  「爻」
也。
「可选值相等」者会「相等」而会「可甲」而会「可乙」而
  鉴（「可甲」与「可乙」）而
    有（（「可有」于「甲物」）与（「可有」于「乙物」））则（「相等」于「甲物」于「乙物」）
    或有（「可无」与「可无」）则
      「阳」
    或有「其他」则「阴」
也。