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

寻观「标准库」之「数据结构」之「多态列」之书。

寻观「标准库」之「数据结构」之「可选值」之书。

寻观「标准库」之「数据结构」之「列表搜索」之书。

寻观「标准库」之「数据结构」之「字符串术」之书。
寻观「标准库」之「数据结构」之「对子术」之书。
寻观「标准库」之「语言核心」之「异常」之书。


寻观「标准库」之「语言核心」之「引用」之书。

「：最好的情况是(K, ORD K)，但目前的类型系统不支持表达这个类型，
所以KEY暂定为STRING：」
「：字典Map最好是用二叉搜索树来实现，但目前先用列表实现：」

「：
现代汉语：类型构造器：指定值类型，构成以字符串为键的字典类型。
文言：定值之类，成以串为键之典类。
七言绝句：
名字为签物作藏，
先将门类定书堂。
千函万卷循其式，
键是文辞值各章。
：」
「串典」立化「元类型」而「元类型」也。

「：
现代汉语：将字符串键值对子列表包装为字典，不检查或消除重复键，保持列表顺序。
文言：裹串键值列为典，不去重键，序如故。
七言绝句：
名物成行裹一函，
依然旧序列其间。
同签多卷皆留在，
不把重名另作删。
：」
「构造串典」立（承「甲」而化（「列」于（「字符串」合「甲」））而「串典」于「甲」）也。

「：
现代汉语：构造没有键值项的多态字符串字典。
文言：作空串典，无键无物。
七言绝句：
空阁初成未有书，
一函静待百家居。
莫嫌此刻无名姓，
留得新藏万卷余。
：」
「空串典」乃（承「甲」而「串典」于「甲」）也。
「空串典」者受「甲」而「构造串典」于「罄」也。

「：
现代汉语：接收映射函数和字典，将每项的键、值传给函数，按存储顺序返回结果列表。
文言：以术施典中各键及值，依藏序成列而还。
七言绝句：
开典循行见姓名，
名携其物共新成。
归来列作长篇读，
不再封为旧典形。
：」
「串典态射」乃承「甲」而承「乙」而化（化「字符串」而化「甲」而「乙」）而化（「串典」于「甲」）而「列」于「乙」也。
「串典态射」者受「甲」而受「乙」而会「射」而会「典」而
    鉴「典」而
        有「构造串典」于「串值列」则（「态射」）于「串值列」于（遇「字符串」合「甲」者「串及值」而「射」于（「串及值」中「零」）于（「串及值」中「一」））也。


「：
现代汉语：在字典头部插入键值项，保留已有同名键；后续查找会先找到新项。
文言：冠新键值于典首，旧同键仍存，求则先得新。
七言绝句：
新签插在旧书前，
同姓原来未尽迁。
来者先开头一卷，
便从新页得相传。
：」
「串典插入」乃承「甲」而化（「串典」于「甲」）而化「字符串」而化「甲」而「串典」于「甲」也。
「串典插入」者受「甲」而会「串典」而会「键」而会「物」而
    鉴「串典」而
    有「构造串典」于「乙」则「构造串典」于（「缀」于（「字符串」合「甲」也「键」与「物」）于「乙」）也。

「：
现代汉语：按字符串键返回首个匹配值的可选包装，不存在时返回可无。
文言：循典求首同键，裹值而还；无则可无。
七言绝句：
按姓翻开旧典章，
先逢其名取所藏。
有无各自归封里，
不教空手误成香。
：」
「串典查找」乃承「甲」而化（「串典」于「甲」）而化「字符串」而「或可有」于「甲」也。
「串典查找」者受「甲」而会「串典」而会「串」而
    鉴「串典」而
    有「构造串典」于「乙」则（「列表查找」授以「甲」）于「乙」于「串」也。

「：
现代汉语：按字典内部顺序返回所有字符串键，保留重复键。
文言：依藏序取诸键，重名亦存。
七言绝句：
开籍惟抄户上名，
重门同姓也同行。
不将箱内珍藏取，
满纸题签次第明。
：」
「串典所有键」乃承「甲」而化（「串典」于「甲」）而「列」于「字符串」也。
「串典所有键」者受「甲」而会「串典」而
    鉴「串典」而
    有「构造串典」于「乙」则（「态射」）于
        「乙」于（会「对子」而（「二对子取零」授以「字符串」授以「甲」）于「对子」）也。

「：
现代汉语：读取首个同名键的值；键不存在时抛出事故，并附带字典键名。
文言：求首同键之值，无则告事故并书典键。
七言绝句：
持名索玉到书堂，
首见开函取所藏。
若是全无相应处，
连同键籍报行方。
：」
「串典读取」乃承「甲」而化（「串典」于「甲」）而化「字符串」而「甲」也。
「串典读取」者受「甲」而会「串典」而会「串」而
    鉴「串典」而
    有「构造串典」于「乙」则（
        「尝试运行」于（会「无」而（「列表读取」授以「甲」）于「乙」于「串」）
        于（会「事故」而
         「发生事故」于（「串组合并」于（「缀」于「事故」于（「缀」于『「：换行：」串典读取失败，串典键：』于（（「列」【（「间合」于『，』于（（「串典所有键」授以「甲」）于「串典」））】）））））
        ）
    ）也。

「：
现代汉语：删除首个匹配键并返回新字典，保留其余同名项；键不存在时抛出事故。
文言：删首同键，后重仍留；无键则告事故。
七言绝句：
循名只去首行签，
同字后来尚在篇。
若遍全函无此键，
便将事故报君前。
：」
「串典删除」乃承「甲」而化（「串典」于「甲」）而化「字符串」而（「串典」于「甲」）也。
「串典删除」者受「甲」而会「串典」而会「串」而
    鉴「串典」而
    有「构造串典」于「乙」则「构造串典」于（
        「尝试运行」于（会「无」而（「列表删除」授以「甲」）于「乙」于「串」）
        于（会「事故」而
         「发生事故」于（「串组合并」于（「缀」于「事故」于（「缀」于『「：换行：」串典删除失败，串典键：』于（（「列」【（「间合」于『，』于（（「串典所有键」授以「甲」）于「串典」））】）））））
        ）
        ）也。

「：
现代汉语：判断字典中是否存在给定字符串键。
文言：验典有此键否，有则阳。
七言绝句：
但问门前此姓名，
有家便报一声迎。
不须搬出堂中玉，
也识空庭与满庭。
：」
「存在键」乃承「甲」而化（「串典」于「甲」）而化「字符串」而「爻」也。
「存在键」者受「甲」而会「串典」而会「串」而
    鉴（（「串典查找」授以「甲」）于「串典」于「串」）而
        有（「可有」于「物」）则「阳」
        或有「可无」则「阴」也。

「：
现代汉语：键存在时删除首个匹配项，不存在时原样返回字典。
文言：有则删首同键，无则还原典。
七言绝句：
有名删去首张签，
无字依然守旧篇。
不向空门催警语，
平平收卷到灯前。
：」
「串典删除如果存在」乃承「甲」而化（「串典」于「甲」）而化「字符串」而（「串典」于「甲」）也。
「串典删除如果存在」者受「甲」而会「串典」而会「串」而
    若（（「存在键」授以「甲」）于「串典」于「串」）
    则（（「串典删除」授以「甲」）于「串典」于「串」）
    否则（「串典」）也。

「：TODO：要做：操作将报错如果键未找到：」
「：
现代汉语：对所有同名键的值应用操作并返回新字典；键不存在时原样保留，不抛出缺键事故。
文言：凡同键之值皆施术，余存；无此键亦不告事故。
七言绝句：
同名诸卷一齐翻，
各换新文旧位安。
遍籍若无相应字，
依然合典照常还。
：」
「串典操作」乃承「甲」而化（「串典」于「甲」）而化「字符串」而化（化「甲」而「甲」）而「串典」于「甲」也。
「串典操作」者受「甲」而会「串典」而会「键」而会「操作」而
    鉴「串典」而
    有「构造串典」于「乙」则
        「构造串典」于（（「态射」）
                于「乙」于（遇「字符串」合「甲」者「串物」而
            若「串相等」于（「串物」中「零」）于「键」
                则（「串物」中「零」与（「操作」于（「串物」中「一」）））
                否则「串物」
        ））
    也。

「：
现代汉语：读取字典引用，对所有匹配键的值应用操作，再将新字典写回，返回元。
文言：读所引典，遍改同键之值，写还而归元。
七言绝句：
开匣循名改旧章，
同签诸页换新光。
重藏一典原来处，
再读便知墨尚香。
：」
「串典引用操作」乃承「甲」而化「引用类」于（「串典」于「甲」）而化「字符串」而化（化「甲」而「甲」）而「有」也。
「串典引用操作」者受「甲」而会「串典引用」而会「键」而会「操作」而
    （「写引用」授以（「串典」于「甲」））于「串典引用」于（（「串典操作」授以「甲」）于（（「读引用」授以（「串典」于「甲」））于「串典引用」）于「键」于「操作」）
    也。


「：如存在则更新，不存在则插入：」
「：
现代汉语：键存在时更新所有同名项的值；不存在时在头部插入新项，返回新字典。
文言：有键则尽易同键之值，无则冠新项于首。
七言绝句：
旧名有处换新笺，
未见题名置最前。
一本收成兼两法，
有无皆可续新篇。
：」
「串典更新」乃承「甲」而化（「串典」于「甲」）而化「字符串」而化「甲」而「串典」于「甲」也。
「串典更新」者受「甲」而会「串典」而会「键」而会「物」而
        若（「存在键」授以「甲」）于「串典」于「键」
        则（（「串典操作」授以「甲」）于「串典」于「键」于（会「旧物」而「物」））
        否则（（「串典插入」授以「甲」）于「串典」于「键」于「物」）
    也。

「：
现代汉语：读取字典引用，执行串典更新后写回，返回元。
文言：读典之引，更新而写还，归元。
七言绝句：
旧典开来按姓名，
有则重书缺则生。
更将新卷还原匣，
后来取阅见新成。
：」
「串典引用更新」乃承「甲」而化「引用类」于（「串典」于「甲」）而化「字符串」而化「甲」而「有」也。
「串典引用更新」者受「甲」而会「串典引用」而会「键」而会「物」而
    （「写引用」授以（「串典」于「甲」））于「串典引用」于（（「串典更新」授以「甲」）于（（「读引用」授以（「串典」于「甲」））于「串典引用」）于「键」于「物」）
    也。
