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

汉语：用一个元素构造单元素列表。 文言：以一物成列。 赋曰：独把明珠缀一行，未邀同伴亦成章。空匣添来初有物，从今数起一星光。

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

汉语：按参数顺序构造含两个元素的列表。 文言：以二物依序成列。 赋曰：双珠依次缀丝长，前后分明各有光。莫把后来移首位，并排写就两文章。

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

汉语：按参数顺序构造含三个元素的列表。 文言：以三物依序成列。 赋曰：三点星光缀一绳，先来后至各分明。排成小队初成列，一路相随到五更。

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

汉语：返回非空列表的首元素；空列表抛出索引事故。 文言：取列首物，空则告事故。 赋曰：群雁初来第一声，抬头认取领前翎。空天若问先锋在，须报无人莫妄称。

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

汉语：返回列表末元素；空列表抛出索引事故。 文言：倒列而取首，是为末物；空则告事故。 赋曰：送尽前帆望后舟，末行犹在水边留。回看认取归人影，空渡无船莫强求。

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

汉语：接收从零开始的索引、更新函数和列表，返回只替换对应元素的新列表；越界抛出事故。 文言：按序取物而施术，置还其位；越界则告事故。 赋曰：一行旧字换新题，只向当中认一枝。前后依然留本色，春风独到此花时。

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

汉语：用比较函数去重，每类保留首次出现的元素及其顺序。 文言：校物去重，各存其先至者，序如故。 赋曰：重重花影照前阶，只取初枝入玉斋。后来同色随风去，留下春踪次第排。

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

汉语：返回出现至少两次的元素，每类只返回首次出现的代表，顺序不变。 文言：择有重者，各留其先以成列。 赋曰：一花两见记春来，重影相逢始入怀。同色再多惟取一，依然先后上瑶台。

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

汉语：用比较函数判断列表内是否存在重复元素。 文言：校列中物，有重则阳。 赋曰：巡过花丛问旧颜，曾经相见便相关。不须重复留名册，只报重逢在此间。

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

zip，长度必须一样 汉语：按位置把两个等长列表配成对子列表；长度不同抛出事故。 文言：二列齐步，各合为对；长异则告事故。 赋曰：两行灯火逐门连，一盏相迎一盏悬。若有孤灯无伴侣，便停双步告人前。

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

汉语：接收二元映射函数和两个等长列表，按对应位置映射；长度不同时抛出事故。 文言：以二元术施二列同位之物；长异则告事故。 赋曰：两岸春花对影生，一双化作一枝明。行来步步须齐足，错落先闻告警声。

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

注all。 汉语：逐对检查两个列表，遇阴立即返回阴；遍历到长度不一致时抛出事故，两空为阳。 文言：逐对验之，遇阴即止；行至长异则告事故，俱空则阳。 赋曰：双行并验到江滨，一处参差便问因。若尽同途皆合意，齐归空岸亦相亲。

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

汉语：先比较长度，再用给定函数逐项比较；长度不同返回阴。 文言：先校长，乃校物；长异则阴。 赋曰：两卷先量纸短长，齐篇再逐字成双。一毫有别皆分路，同尽方能共一章。

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

汉语：返回从始到止之前的递增整数列，即左闭右开区间；始不小于止则为空。 文言：自始递增至止前；始不小于止则空。 赋曰：起处留名止处收，一级一级过沙洲。终标只作停舟界，不入行囊共远游。

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

list map_i 汉语：将从零开始的索引及对应元素传给映射函数，顺序返回结果列表。 文言：自零授序与物于射，循次成列。 赋曰：每朵春花系小签，从零依次记窗前。名随物去同成画，不使芳踪失后先。

承「甲」而化（「列」于（「或可有」于「甲」））而（「列」于「甲」）

汉语：跳过可无，按原顺序取出所有可有的内容。 文言：弃无取有，解裹存物，序不易。 赋曰：空匣随波逐个开，有珠方取入盘来。去衣存实排如旧，一串清光次第裁。

承「甲」而承「乙」而化化「甲」而（「或可有」于「乙」）而化（「列」于「甲」）而（「列」于「乙」）

注 list filter_map。 汉语：先映射为可选值，再丢弃可无并解包可有。 文言：先射为或有之值，乃弃无而取实。 赋曰：群花试染过春台，有色收成一束来。未得新芳随手放，留香依次入瓶开。

承「甲」而承「乙」而承「丙」而化化「甲」而化「丙」而（「或可有」于「乙」）而化（「列」于「甲」）而化（「列」于「丙」）而（「列」于「乙」）

汉语：按对应位置映射两个等长列表，再取出可有结果；长度不同抛出事故。 文言：二列同位施射，弃无取有；长异则告事故。 赋曰：双枝试接向阳栽，结果方收入手来。步数须齐同赴约，空花落尽见莓苔。

承「甲」而承「乙」而化化「整数」而化「甲」而（「或可有」于「乙」）而化（「列」于「甲」）而（「列」于「乙」）

list filter_map i 汉语：将索引和元素传给映射函数，保留并解包可有结果；索引从零起。 文言：自零授序及物于射，留有取实。 赋曰：花名次第系枝头，按号寻芳逐处收。有实才堪装小篓，虚英不向篓中留。

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

List subset 汉语：判断子列表每个元素是否都能在父列表找到；忽略重复次数，遇缺项返回阴。 文言：子列之物皆见于父乃阳，不计重数，缺则止。 赋曰：小圃花容大圃寻，枝枝有据始同心。重开几遍无须数，缺却一枝便断音。

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

List equal modulo reordering 汉语：判断两个列表是否互为子集；忽略顺序及重复次数，并非多重集合相等。 文言：二列互容乃阳，不论次序与重数。 赋曰：两园花色各相容，多少先后不问同。只要芳名无缺处，便将双圃共春风。

承「甲」而化化「甲」而「爻」而化（「列」于「甲」）而「整数」

汉语：返回谓词为阳的元素个数。 文言：数合谓词之物而还其数。 赋曰：花开满径逐枝量，合意才添一笔章。数尽不收枝上色，只将多寡付行囊。

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

用元素分隔，返回的列是原列的子列，且子列之间会间隔一个分隔符 例：按一分隔二、三、一、二，得到二三段和二段。 例：若输入首尾都是分隔符，结果首尾会含空段。 汉语：将谓词为阳的元素当作分隔符并移除，返回各段；首尾及连续分隔符产生空段，空输入返回空列表。 文言：以合谓词者为界而去之，存诸段；首尾连界可有空段，空入则空列。 赋曰：小径逢溪断又连，分花作圃各成边。连溪两道留空地，不向空庭强种莲。

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

列减 A B = A \ B = {x ∈ A | x ∉ B} 汉语：接收比较函数、被减列和排除列，保留被减列中不在排除列的元素，维持顺序和剩余重复项。 文言：去前列中凡见于后列者，余物及其序皆存。 赋曰：前园有色后园寻，彼处同芳不入襟。剩得原枝连旧序，不删余影入新林。

承「甲」而化化「甲」而化「甲」而「爻」而化「甲」而化（「列」于「甲」）而（「或可有」于「整数」）

汉语：用比较函数查找首个相等元素，返回从零开始的可选索引；未找到返回可无。 文言：校物寻首同者，自零记序；不得则无。 赋曰：自首寻珠逐格行，从零记下所逢名。一逢同色收其号，未见归来报杳冥。

承「甲」而化化「甲」而「爻」而化（「列」于「甲」）而（「或可有」于「整数」）

汉语：返回第一个满足条件的元素索引，从零开始；不存在时返回可无。 文言：循列求首合条件者，记其零起之序；无则可无。 赋曰：沿堤问柳觅青枝，初见相宜便记时。路号从零存一处，寻空亦有报君词。

承「甲」而化「字符串」而化化「甲」而化「甲」而「爻」而化「甲」而化（「列」于「甲」）而「整数」

汉语：按给定比较函数查找首项索引；找不到时抛出传入的报错信息。 文言：求首同物之序，不得则以所授言告事故。 赋曰：持名遍访旧林泉，寻得先将路号传。若到山穷人未见，还凭来语报君前。

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

汉语：接收比较函数、原列、查找列和替换列，从左到右替换不重叠的匹配；查找列必须非空，否则非空输入不终止。 文言：自左易相合之段，不重叠；所寻列毋空，否则遇非空原列不止。 赋曰：逐段寻章换旧篇，新辞接在旧辞前。空题莫向长文觅，免使回环岁月迁。

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

TODO 汉语：接收列表和条件，返回满足条件的列表与不满足条件的列表，两边都保持原顺序。 文言：以条件分列为二，合者在先，不合在后，各守其序。 赋曰：一水逢堤向两边，去来各自守行船。合心一岸余居彼，分道依然记后先。

承「甲」而化（「引用类」于（「列」于「甲」））而化「甲」而「有」

汉语：读取列表引用，将新元素加到头部并写回，返回元。 文言：读列之引，以新物冠首而写还，归元。 赋曰：新枝插在旧枝前，一卷重书首字鲜。匣里原行随笔换，后来读者见新篇。

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

汉语：在相邻元素之间插入给定分隔元素；首尾不添加，空列表仍为空。 文言：邻物之间置所授隔物，首末不加，空仍空。 赋曰：花间置石作微桥，只向相邻接小条。首尾不添闲路径，空园依旧任风摇。

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

汉语：接收起始序数、组合函数、初值和列表；索引向右递增，组合从右返回，参数为索引、元素、累积值。 文言：自授序右增，先合尾再合首；授合术以序、物、积。 赋曰：向右题签向左收，后波先合入前流。每逢一物携原号，直到源头满一舟。

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

汉语：接收起始序数、组合函数、初值和列表，从左向右递增索引并累积；组合参数为索引、元素、累积值。 文言：自授序循列递增，以序、物、积施合术，至末而还。 赋曰：起号随舟一路行，前波合后数新程。每湾都带来时记，走尽长川一册成。