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

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

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

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

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

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

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