

寻观「标准库」之「数据结构」之「爻术」之书。

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

寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「输入输出」之「笔」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「标准库」之「语言核心」之「续延」之书。

「列」立化「元类型」而「元类型」也。
「罄」立（承「甲」而「列」于「甲」）也。
「缀」立（承「甲」而化「甲」而化（「列」于「甲」）而「列」于「甲」）也。

「： 注 list map。 ：」
「态射」乃（承「甲」而承「乙」而化（「列」于「甲」）而化（化「甲」而「乙」）而「列」于「乙」）也。
「态射」者受「甲」而受「乙」而
    会「列」而（会「射」而（鉴「列」而
        有「罄」则「罄」
        或有「缀」于「头」于「尾」则
            （「缀」于（「射」于（「头」））于（「态射」于（「尾」）于「射」） ）
            ））也。

「：打表态射是态射的兼容别名：」
「打表态射」乃（承「甲」而承「乙」而化（「列」于「甲」）而化（化「甲」而「乙」）而「列」于「乙」）也。
「打表态射」者受「甲」而受「乙」而会「列」而会「射」而「态射」于「列」于「射」也。



「： 注 list foldr。 ：」
「从右折叠」乃承「甲」而承「乙」而化（化「甲」而化「乙」而「乙」）而化「乙」而化（「列」于「甲」）而「乙」也。
「从右折叠」者受「甲」而受「乙」而会
	    「组合」而会「缺省」而（会「甲列」而（鉴「甲列」而
        有「罄」则「缺省」
        或有「缀」于「头」于「尾」则
	            （
                「组合」于「头」于（「从右折叠」授以「甲」授以「乙」于「组合」于「缺省」于（「尾」）） 
	            ）））也。

「： 注 list foldl。 ：」
「从左折叠」乃承「甲」而承「乙」而化（化「甲」而化「乙」而「乙」）而化「乙」而化（「列」于「甲」）而「乙」也。
「从左折叠」者受「甲」而受「乙」而会
	    「组合」而会「缺省」而会「甲列」而（鉴「甲列」而
        有「罄」则「缺省」
        或有「缀」于「头」于「尾」则
	            （
                「从左折叠」授以「甲」授以「乙」于「组合」于（「组合」于「头」于「缺省」）于「尾」 
	            ））也。

「： 注：list filter。 ：」
「滤」乃承「乙」而化（化「乙」而「爻」）而化（「列」于「乙」）而「列」于「乙」也。
「滤」者会
    「过滤函数」而（
        会「甲」而鉴「甲」而
        有「罄」则「甲」
        或有「缀」于「头」于「尾」则
	            （
                若「过滤函数」于（「头」）
                则「缀」于「头」于（「滤」于「过滤函数」于（「尾」））
                否则「滤」于「过滤函数」于（「尾」）
	            ））也。

「滤debug」乃承「乙」而化（化「乙」而「爻」）而化（「列」于「乙」）而「列」于「乙」也。
「滤debug」者受「乙」而会
    「过滤函数」而会「甲」而
    虑「结果」者「滤」授以「乙」于「过滤函数」于「甲」而
    虑「无」者「笔」之「打印行」于『过滤完成，结果是』而
    「结果」
也。

「： 注append。 ：」
「附加」乃承「乙」而化（「列」于「乙」）而化（「列」于「乙」）而「列」于「乙」也。
「附加」者会
	    「列一」而会「列二」而（鉴「列一」而
        有「罄」则「列二」
        或有「缀」于「头」于「尾」则
	            （
                「缀」于「头」于（「附加」于「尾」于「列二」）
	            ））也。
「： 注 list foldmap。 ：」
「从左态射折叠」乃承「甲」而承「乙」而承「丙」而化（化「甲」而化「乙」而「丙」合「乙」）而化「乙」而化（「列」于「甲」）而（（「列」于「丙」）合「乙」）也。
「从左态射折叠」者受「甲」而受「乙」而受「丙」而（会
    「组合」而会「缺省」而会「甲列」而
    「从左折叠」授以「甲」授以（（「列」于「丙」）合「乙」）于（会「当前元素」而会「列及累加」而
        鉴「列及累加」而
        有（「丙列」与「累加」）则（
            鉴（「组合」于「当前元素」于（「列及累加」中「一」））而
                有（「新素」与「新累加」）则（「附加」于（「列及累加」中「零」）于（（「列」【「新素」】））与「新累加」）
        ）
    ）于（「罄」与「缺省」）于「甲列」）也。

「： 注append。 ：」
「结尾多」乃承「乙」而化（「列」于「乙」）而化「乙」而「列」于「乙」也。
「结尾多」者会「列一」而会「元素」而
        「附加」于「列一」于（（「列」【「元素」】））也。


「： 注reverse。 ：」
「反转」乃承「乙」而化（「列」于「乙」）而「列」于「乙」也。
「反转」者会「列」而（鉴「列」而
        有「罄」则（「列」）
        或有「缀」于「头」于「尾」则
                「附加」于（「反转」于（「尾」））于（（「列」【「头」】））
	）也。
「： 注concat。建议改名：列联 ：」
「串联」乃承「乙」而化（「列」于（「列」于「乙」））而「列」于「乙」也。
「串联」者会「甲」而鉴「甲」而
        有「罄」则「罄」
        或有「缀」于「头」于「尾」则「附加」于「头」于（「串联」于（「尾」））
            也。

「： 注length。 ：」
「长度」乃承「乙」而化（「列」于「乙」）而「整数」也。
「长度」者受「乙」而
	        会「甲」而（鉴「甲」而
        有「罄」则「零」
        或有「缀」于「头」于「尾」则
                （「加」于「一」于（「长度」授以「乙」于（「尾」）））
	        ）也。

「： 注takeN。 ：」
「取」乃承「乙」而化「整数」而化（「列」于「乙」）而「列」于「乙」也。
「取」者会「数」而会「甲」而
            鉴「甲」而
            有「罄」则「罄」
            或有「缀」于「头」于「尾」则
                （若 「等」于「数」于「零」
                    则「罄」
                    否则
                        （
                            「缀」于「头」于（「取」于（「减」于「数」于「一」）于（「尾」））
                ））也。

「： 注dropN。 ：」
「放」乃承「乙」而化「整数」而化（「列」于「乙」）而「列」于「乙」也。
「放」者
        会「数」而会「甲」而
            鉴「甲」而
            有「罄」则（
                若 「等」于「数」于「零」
                则 （「罄」）
                否则 「发生事故」于『索引异常』
            ）
            或有「缀」于「头」于「尾」则
                （若「整数操作」之「等零」于「数」则「甲」
                    否则
                        （
                            
                            （「放」于（「减」于「数」于「一」）于（「尾」））
                ））也。

「： 注dropN at the end。 ：」
「结尾放」乃承「乙」而化「整数」而化（「列」于「乙」）而「列」于「乙」也。
「结尾放」者受「乙」而会「数」而会「列」而
        「反转」于（「放」于「数」于（（「反转」）于「列」））
        也。

「： 注beginswith。 ：」
「以起否」乃承「乙」而化（化「乙」而化「乙」而（「爻」））而化（「列」于「乙」）而化（「列」于「乙」）而「爻」也。
「以起否」者受「乙」而
        会「等于测试」而会「前缀」而会「测试列」而
             鉴「前缀」而
            有「罄」则「阳」
            或有「缀」于「缀头」于「缀尾」则
                （鉴「测试列」而
                    有「罄」则「阴」
                    或有「缀」于「测头」于「测尾」则
                        「且」于（「等于测试」 于 （「缀头」） 于（「测头」））
                            于（「以起否」授以「乙」于「等于测试」 于 （「缀尾」） 于 （「测尾」））
                ）也。
「： 注endswith。 ：」
「以终否」乃承「乙」而化（化「乙」而化「乙」而（「爻」））而化（「列」于「乙」）而化（「列」于「乙」）而「爻」也。
「以终否」者受「乙」而会「等于测试」而会「后缀」而会「测试列」而
            「以起否」授以「乙」于「等于测试」于（（「反转」授以「乙」）于「后缀」）于（「反转」授以「乙」于「测试列」）也。


「： 注exists。 ：」
「存在吗」乃承「乙」而化（化「乙」而（「爻」））而化（「列」于「乙」）而「爻」也。
「存在吗」者受「乙」而会「函」而会「列」而「非」于（「等」于「零」于（「长度」授以「乙」于（（「滤」授以「乙」于「函」于（「列」）））））也。    

「： 注all。 ：」
「全部符合」乃承「乙」而化（化「乙」而（「爻」））而化（「列」于「乙」）而「爻」也。
「全部符合」者受「乙」而会「函」而会「列」而「等」于（「长度」授以「乙」于「列」）于（「长度」授以「乙」于（（「滤」授以「乙」于「函」于（「列」））））也。    
        
「： 注tabulate。 ：」
「打表」乃承「乙」而化「整数」而化（化「整数」而（「乙」））而「列」于「乙」也。
「打表」者受「乙」而会「数」而会「函」而
虑「原数」者「数」而
递归虑「递归」其化「整数」而（「列」于「乙」）者
    会「当前数」而
        （
            若「等」于「当前数」于「原数」则
                （
                    「罄」）
                否则（
                    「缀」于（虑「返回」者「函」于（「当前数」）而（
                        「返回」
                    ））于（「递归」于（「加」于「当前数」于「一」））
                ）
        ）
而
    「递归」于「零」
也。


「第N个」乃承「乙」而化「整数」而化（「列」于「乙」）而「乙」也。
「第N个」者会「数」而会「列」而
    若「等」于「零」于「数」则（
        鉴「列」而
            有「缀」于「头」于「尾」则（「头」）
            或有「罄」则
            （「发生事故」于『索引异常』）
    ）否则（
        鉴「列」而
            有「缀」于「头」于「尾」则（「第N个」于（「减」于「数」于「一」）于「尾」）
            或有「罄」则
            （「发生事故」于『索引异常』）
    ）
    也。
