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

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

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

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

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


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

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

「串典」立化「元类型」而「元类型」也。

「构造串典」立（承「甲」而化（「列」于（「字符串」合「甲」））而「串典」于「甲」）也。

「空串典」乃（承「甲」而「串典」于「甲」）也。
「空串典」者受「甲」而「构造串典」于「罄」也。

「串典态射」乃承「甲」而承「乙」而化（化「字符串」而化「甲」而「乙」）而化（「串典」于「甲」）而「列」于「乙」也。
「串典态射」者受「甲」而受「乙」而会「射」而会「典」而
    鉴「典」而
        有「构造串典」于「串值列」则（「态射」）于「串值列」于（遇「字符串」合「甲」者「串及值」而「射」于（「串及值」中「零」）于（「串及值」中「一」））也。


「串典插入」乃承「甲」而化（「串典」于「甲」）而化「字符串」而化「甲」而「串典」于「甲」也。
「串典插入」者受「甲」而会「串典」而会「键」而会「物」而
    鉴「串典」而
    有「构造串典」于「乙」则「构造串典」于（「缀」于（「字符串」合「甲」也「键」与「物」）于「乙」）也。

「串典查找」乃承「甲」而化（「串典」于「甲」）而化「字符串」而「或可有」于「甲」也。
「串典查找」者受「甲」而会「串典」而会「串」而
    鉴「串典」而
    有「构造串典」于「乙」则（「列表查找」授以「甲」）于「乙」于「串」也。

「串典所有键」乃承「甲」而化（「串典」于「甲」）而「列」于「字符串」也。
「串典所有键」者受「甲」而会「串典」而
    鉴「串典」而
    有「构造串典」于「乙」则（「态射」）于
        「乙」于（会「对子」而（「二对子取零」授以「字符串」授以「甲」）于「对子」）也。

「串典读取」乃承「甲」而化（「串典」于「甲」）而化「字符串」而「甲」也。
「串典读取」者受「甲」而会「串典」而会「串」而
    鉴「串典」而
    有「构造串典」于「乙」则（
        「尝试运行」于（会「无」而（「列表读取」授以「甲」）于「乙」于「串」）
        于（会「事故」而
         「发生事故」于（「串组合并」于（「缀」于「事故」于（「缀」于『「：换行：」串典读取失败，串典键：』于（（「列」【（「间合」于『，』于（（「串典所有键」授以「甲」）于「串典」））】）））））
        ）
    ）也。

「串典删除」乃承「甲」而化（「串典」于「甲」）而化「字符串」而（「串典」于「甲」）也。
「串典删除」者受「甲」而会「串典」而会「串」而
    鉴「串典」而
    有「构造串典」于「乙」则「构造串典」于（
        「尝试运行」于（会「无」而（「列表删除」授以「甲」）于「乙」于「串」）
        于（会「事故」而
         「发生事故」于（「串组合并」于（「缀」于「事故」于（「缀」于『「：换行：」串典删除失败，串典键：』于（（「列」【（「间合」于『，』于（（「串典所有键」授以「甲」）于「串典」））】）））））
        ）
        ）也。

「存在键」乃承「甲」而化（「串典」于「甲」）而化「字符串」而「爻」也。
「存在键」者受「甲」而会「串典」而会「串」而
    鉴（（「串典查找」授以「甲」）于「串典」于「串」）而
        有（「可有」于「物」）则「阳」
        或有「可无」则「阴」也。

「串典删除如果存在」乃承「甲」而化（「串典」于「甲」）而化「字符串」而（「串典」于「甲」）也。
「串典删除如果存在」者受「甲」而会「串典」而会「串」而
    若（（「存在键」授以「甲」）于「串典」于「串」）
    则（（「串典删除」授以「甲」）于「串典」于「串」）
    否则（「串典」）也。

「：TODO：要做：操作将报错如果键未找到：」
「串典操作」乃承「甲」而化（「串典」于「甲」）而化「字符串」而化（化「甲」而「甲」）而「串典」于「甲」也。
「串典操作」者受「甲」而会「串典」而会「键」而会「操作」而
    鉴「串典」而
    有「构造串典」于「乙」则
        「构造串典」于（（「态射」）
                于「乙」于（遇「字符串」合「甲」者「串物」而
            若「串相等」于（「串物」中「零」）于「键」
                则（「串物」中「零」与（「操作」于（「串物」中「一」）））
                否则「串物」
        ））
    也。

「串典引用操作」乃承「甲」而化「引用类」于（「串典」于「甲」）而化「字符串」而化（化「甲」而「甲」）而「有」也。
「串典引用操作」者受「甲」而会「串典引用」而会「键」而会「操作」而
    （「写引用」授以（「串典」于「甲」））于「串典引用」于（（「串典操作」授以「甲」）于（（「读引用」授以（「串典」于「甲」））于「串典引用」）于「键」于「操作」）
    也。


「：如存在则更新，不存在则插入：」
「串典更新」乃承「甲」而化（「串典」于「甲」）而化「字符串」而化「甲」而「串典」于「甲」也。
「串典更新」者受「甲」而会「串典」而会「键」而会「物」而
        若（「存在键」授以「甲」）于「串典」于「键」
        则（（「串典操作」授以「甲」）于「串典」于「键」于（会「旧物」而「物」））
        否则（（「串典插入」授以「甲」）于「串典」于「键」于「物」）
    也。

「串典引用更新」乃承「甲」而化「引用类」于（「串典」于「甲」）而化「字符串」而化「甲」而「有」也。
「串典引用更新」者受「甲」而会「串典引用」而会「键」而会「物」而
    （「写引用」授以（「串典」于「甲」））于「串典引用」于（（「串典更新」授以「甲」）于（（「读引用」授以（「串典」于「甲」））于「串典引用」）于「键」于「物」）
    也。
