
寻观「标准库」之「数据结构」之「多态列」之书。
寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「引用」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。

「：多态列转换结果是一个2个元素的数组，第一个是数组引用，第二个是数组长度：」
「多态列转数组」乃承「甲」而化（「列」于「甲」）而「混合数组引用类」也。
「多态列转数组」者受「甲」而会「物」而
    虑「返回」者「新混合数组引用」于「二」而
    虑「物长」者「长度」授以「甲」于「物」而
    虑「数组」者「新数组引用不初始化」授以「甲」于（「物长」）而
    虑「序数」者「新引用」授以「整数」于「零」而
    递归虑「处理数组」其化（「列」于「甲」）而「有」者
        会「剩余」而
            鉴「剩余」而
                有「罄」则「元」
                或有「缀」于「头」于「尾」则（
                    虑「无」者「写数组引用」授以「甲」于「数组」于（「读引用」授以「整数」于「序数」）于「头」而
                    虑「无」者「写引用」授以「整数」于「序数」于（「加」于（「读引用」授以「整数」于「序数」）于「一」）而
                    「处理数组」于「尾」
                ）
    而
        （「处理数组」于「物」；
        （「写混合数组引用」授以（「数组引用类」于「甲」））于「返回」于「零」于「数组」；
        （「写混合数组引用」授以「整数」）于「返回」于「一」于「物长」；
        「返回」）
    也。


「数组转多态列」乃承「甲」而化「混合数组引用类」而「列」于「甲」也。
「数组转多态列」者受「甲」而会「引」而
    虑「数组」者（（「数组引用类」于「甲」）也「读混合数组引用」于「引」于「零」）而
    虑「物长」者（「整数」也「读混合数组引用」于「引」于「一」）而
    虑「返回」者「打表」授以「甲」于「物长」于（
            会「序数」而
                「读数组引用」授以「甲」于「数组」于「序数」
        ）而
    「返回」
也。


「对子转数组」乃承「甲」而承「乙」而化「甲」合「乙」而「混合数组引用类」也。
「对子转数组」者受「甲」而受「乙」而会「物」而
    虑「返回」者「新混合数组引用」于「二」而
    （（「写混合数组引用」授以「甲」）于「返回」于「零」于（「物」中「零」）；
    （「写混合数组引用」授以「乙」）于「返回」于「一」于（「物」中「一」）；
    「返回」）
也。

「数组转对子」乃承「甲」而承「乙」而化「混合数组引用类」而「甲」合「乙」也。
「数组转对子」者受「甲」而受「乙」而会「物」而
    （「读混合数组引用」授以「甲」于「物」于「零」）
    与
    （「读混合数组引用」授以「乙」于「物」于「一」）
也。
