

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

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

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

「：
现代汉语：类型构造器：给定元素类型，构成同类型元素的列表类型。
文言：受物类而成其列类，诸物同类。
七言绝句：
先牵长线待珠来，
大小同门次第排。
未有一珠先定式，
千般队列此中开。
：」
「列」立化「元类型」而「元类型」也。
「：
现代汉语：构造指定元素类型的空列表。
文言：依所授类作空列。
七言绝句：
列到无珠线尚存，
空名也是此中根。
后来缀物从头起，
万队皆由此处门。
：」
「罄」立（承「甲」而「列」于「甲」）也。
「：
现代汉语：依次接收头元素和尾列表，构造头在前、尾在后的新列表。
文言：以所授物冠列之首而成新列。
七言绝句：
新珠缀在旧绳头，
后队依然次第留。
一步生来长一节，
千行从此接长流。
：」
「缀」立（承「甲」而化「甲」而化（「列」于「甲」）而「列」于「甲」）也。

「： 注 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个」于（「减」于「数」于「一」）于「尾」）
            或有「罄」则
            （「发生事故」于『索引异常』）
    ）
    也。
