化「元类型」而「元类型」

汉语：类型构造器：给定元素类型，构成同类型元素的列表类型。 文言：受物类而成其列类，诸物同类。 赋曰：先牵长线待珠来，大小同门次第排。未有一珠先定式，千般队列此中开。

承「甲」而（「列」于「甲」）

汉语：构造指定元素类型的空列表。 文言：依所授类作空列。 赋曰：列到无珠线尚存，空名也是此中根。后来缀物从头起，万队皆由此处门。

承「甲」而化「甲」而化（「列」于「甲」）而（「列」于「甲」）

汉语：依次接收头元素和尾列表，构造头在前、尾在后的新列表。 文言：以所授物冠列之首而成新列。 赋曰：新珠缀在旧绳头，后队依然次第留。一步生来长一节，千行从此接长流。

承「甲」而承「乙」而化（「列」于「甲」）而化化「甲」而「乙」而（「列」于「乙」）

注 list map。 汉语：依次接收列表和映射函数，保持顺序返回逐项映射的列表。 文言：受列及射，循序施之，得新列。 赋曰：一行春树过东风，叶叶新妆次第同。不改来时前后序，千枝各自映晴空。

承「甲」而承「乙」而化（「列」于「甲」）而化化「甲」而「乙」而（「列」于「乙」）

打表态射是态射的兼容别名 汉语：态射的兼容接口，先传列表，再传映射函数。 文言：态射之兼名也，先列后射。 赋曰：旧径新题柳色浓，行行依次受春风。任他门额添名字，一脉清溪万树红。

承「甲」而承「乙」而化化「甲」而化「乙」而「乙」而化「乙」而化（「列」于「甲」）而「乙」

注 list foldr。 汉语：接收组合函数、初值和列表；先折叠尾部，再将当前元素与尾部结果组合。 文言：受合术、初值及列；先合尾，乃以首合其得。 赋曰：归潮自远入沙洲，末水先归首水收。一线回环连万顷，源头终得众泉流。

承「甲」而承「乙」而化化「甲」而化「乙」而「乙」而化「乙」而化（「列」于「甲」）而「乙」

注 list foldl。 汉语：接收组合函数、初值和列表；从左到右将当前元素和累积值传给组合函数。 文言：自首至尾，以当前物及积值授合术，递求其成。 赋曰：溪流自首过千湾，每到新湾带旧澜。一卷行程随水记，尽头收得万重山。

承「乙」而化化「乙」而「爻」而化（「列」于「乙」）而（「列」于「乙」）

注：list filter。 汉语：按谓词保留返回阳的元素，维持原顺序。 文言：验物以谓词，阳则留之，序不易。 赋曰：淘尽浮沙水自清，真珠依次露晶莹。去留但照心中尺，莫乱来时旧队行。

承「乙」而化化「乙」而「爻」而化（「列」于「乙」）而（「列」于「乙」）

汉语：执行滤，打印“过滤完成，结果是”这一行，再返回过滤结果；不打印元素内容。 文言：滤列而书成事之言，乃还所得，不书其物。 赋曰：筛罢珠沙玉色明，临窗报得一声清。只言事毕留其果，未把珠玑逐个呈。

承「乙」而化（「列」于「乙」）而化（「列」于「乙」）而（「列」于「乙」）

注append。 汉语：将第二个列表接在第一个列表之后，保持各自顺序。 文言：续后列于前列之末，序如故。 赋曰：前舟后棹接长流，两队相衔共一游。旧序依然分首尾，并成雁阵向汀洲。

承「甲」而承「乙」而承「丙」而化化「甲」而化「乙」而（「丙」合「乙」）而化「乙」而化（「列」于「甲」）而（（「列」于「丙」）合「乙」）

注 list foldmap。 汉语：从左遍历，组合函数接收元素与状态，返回新元素与新状态；最终返回映射列表及最终状态。 文言：循列施合术，得新物与新积；终还新列及末积。 赋曰：一程收景一程行，景入长笺数渐成。走到溪山穷尽处，满囊风物共归程。

承「乙」而化（「列」于「乙」）而化「乙」而（「列」于「乙」）

注append。 汉语：将一个元素追加到列表末尾，返回新列表。 文言：以一物续列末，得新列。 赋曰：长行雁影过江天，又见孤鸿接后边。不向前群争首席，相随一字更绵延。

承「乙」而化（「列」于「乙」）而（「列」于「乙」）

注reverse。 汉语：返回元素顺序颠倒的列表。 文言：倒其列序，末为首，首为末。 赋曰：回舟倒看旧溪湾，后岭先来首岭还。一队归鸿翻次序，依然同过此江山。

承「乙」而化（「列」于（「列」于「乙」））而（「列」于「乙」）

注concat。建议改名：列联 汉语：按顺序连接列表中的各个子列表，展开一层。 文言：循序联诸子列，去其外层。 赋曰：卷卷云笺次第开，长篇接续不须裁。千溪仍守来时序，合向江头一处来。

承「乙」而化（「列」于「乙」）而「整数」

注length。 汉语：返回列表元素个数，空列表为零。 文言：数列中物，空则零。 赋曰：逐树巡堤记柳行，枝枝不问短和长。只将数目收入册，空岸无声也有章。

承「乙」而化「整数」而化（「列」于「乙」）而（「列」于「乙」）

注takeN。 汉语：接收数量与列表，取前若干项；超过长度时返回全部。数量应非负，当前负数实现也会取完整列。 文言：受数及列，取前数物，数过则尽取；宜用非负数，今负亦尽取。 赋曰：采得前枝入小篮，行来有数便停骖。若逢树尽篮犹浅，也把全枝带下岚。

承「乙」而化「整数」而化（「列」于「乙」）而（「列」于「乙」）

注dropN。 汉语：接收非负数量和列表，丢弃前若干项；数量超过长度或为负时抛出索引事故。 文言：弃列前数物，还其余；数负或过长则告事故。 赋曰：放过前山见后山，行程有数过重关。若将尽路还求越，便有钟声止客还。

承「乙」而化「整数」而化（「列」于「乙」）而（「列」于「乙」）

注dropN at the end。 汉语：丢弃列表末尾指定数量的元素；数量须在零与列表长度之间。 文言：弃列末数物；数须非负且不逾长。 赋曰：收起归帆末一行，前舟依旧映斜阳。若从尽处多裁剪，须报行程已越疆。

承「乙」而化化「乙」而化「乙」而「爻」而化（「列」于「乙」）而化（「列」于「乙」）而「爻」

注beginswith。 汉语：接收比较函数、前缀列和目标列，判断目标是否以该前缀开头；空前缀为阳。 文言：以所授术校前缀与目标之首；空缀则阳。 赋曰：卷首题辞逐字寻，前章相契便知音。空笺未写无须比，留与长篇共此心。

承「乙」而化化「乙」而化「乙」而「爻」而化（「列」于「乙」）而化（「列」于「乙」）而「爻」

注endswith。 汉语：接收比较函数、后缀列和目标列，判断目标是否以该后缀结尾；空后缀为阳。 文言：校后缀与目标之末；空缀则阳。 赋曰：读到篇终认落款，回看字字有余音。末章相合方称是，空尾无言亦契心。

承「乙」而化化「乙」而「爻」而化（「列」于「乙」）而「爻」

注exists。 汉语：判断列表中是否有元素满足谓词；空列表为阴。当前实现会检查所有元素。 文言：验全列，有合者则阳，空则阴；今不早止。 赋曰：满圃寻芳遍径行，一枝堪折便春生。虽逢好景犹巡尽，看罢群花始报晴。

承「乙」而化化「乙」而「爻」而化（「列」于「乙」）而「爻」

注all。 汉语：判断所有元素是否满足谓词；空列表为阳，当前实现会检查所有元素。 文言：遍验列物，皆合乃阳；空亦阳。 赋曰：一队征鸿逐个看，羽齐方许过重关。纵无来雁空天阔，也作齐心报平安。

承「乙」而化「整数」而化化「整数」而「乙」而（「列」于「乙」）

注tabulate。 汉语：接收非负长度和函数，将零至长度减一的索引依次映射成列表；负长度不会正常终止。 文言：受非负长及术，自零循数施之成列；长负则不止。 赋曰：从零落笔写长笺，一格新成一格连。数满停毫收卷去，空篇也可到君前。

承「乙」而化「整数」而化（「列」于「乙」）而「乙」

汉语：按从零开始的索引取元素；负数或越界索引抛出事故。 文言：自零数而取物；负或越界则告事故。 赋曰：从零数雁过长汀，点到其名取一翎。若向空天寻队外，当闻警语莫前行。