豫言源码浏览器

yuyan · 674 行 · 30776 字节 · UTF-8
寻观「标准库」之「数据结构」之「多态列」之书。
寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「引用」之书。

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

「：
汉语：用一个元素构造单元素列表。
文言：以一物成列。
赋曰：独把明珠缀一行，未邀同伴亦成章。空匣添来初有物，从今数起一星光。
：」
「一元素列」乃承「甲」而化「甲」而（「列」于「甲」）也。
「一元素列」者受「甲」而会「元素甲」而
  （「列」【「元素甲」】）
也。

「：
汉语：按参数顺序构造含两个元素的列表。
文言：以二物依序成列。
赋曰：双珠依次缀丝长，前后分明各有光。莫把后来移首位，并排写就两文章。
：」
「二元素列」乃承「甲」而化「甲」而化「甲」而（「列」于「甲」）也。
「二元素列」者受「甲」而会「元素甲」而会「元素乙」而
  （「列」【「元素甲」，「元素乙」】）
也。

「：
汉语：按参数顺序构造含三个元素的列表。
文言：以三物依序成列。
赋曰：三点星光缀一绳，先来后至各分明。排成小队初成列，一路相随到五更。
：」
「三元素列」乃承「甲」而化「甲」而化「甲」而化「甲」而（「列」于「甲」）也。
「三元素列」者受「甲」而会「元素甲」而会「元素乙」而会「元素丙」而
  （「列」【「元素甲」，「元素乙」，「元素丙」】）
也。

「：
汉语：返回非空列表的首元素；空列表抛出索引事故。
文言：取列首物，空则告事故。
赋曰：群雁初来第一声，抬头认取领前翎。空天若问先锋在，须报无人莫妄称。
：」
「头一个」乃承「乙」而化（「列」于「乙」）而「乙」也。
「头一个」者受「乙」而会「列」而
  鉴「列」而
    有「罄」则
      （「发生事故」于『索引异常』）
    或有「缀」于「头」于「尾」则（「头」）
也。

「：
汉语：返回列表末元素；空列表抛出索引事故。
文言：倒列而取首，是为末物；空则告事故。
赋曰：送尽前帆望后舟，末行犹在水边留。回看认取归人影，空渡无船莫强求。
：」
「最后一个」乃承「乙」而化（「列」于「乙」）而「乙」也。
「最后一个」者受「乙」而会「列」而
  「头一个」授以「乙」于（「反转」授以「乙」于「列」）
也。

「：
汉语：接收从零开始的索引、更新函数和列表，返回只替换对应元素的新列表；越界抛出事故。
文言：按序取物而施术，置还其位；越界则告事故。
赋曰：一行旧字换新题，只向当中认一枝。前后依然留本色，春风独到此花时。
：」
「更新第N个」乃
  承「乙」而
  化「整数」而
  化（化「乙」而「乙」）而
  化（「列」于「乙」）而
  「列」于「乙」
也。
「更新第N个」者受「乙」而会「序数」而会「射」而会「列」而
  「附加」授以「乙」
    于（「附加」授以「乙」
      于（「取」授以「乙」于「序数」于「列」）
      于（（「列」【（「射」于（「第N个」授以「乙」于「序数」于「列」））】）））
      于（「放」授以「乙」于（「加」于「序数」于「一」）于「列」）
也。

「：
汉语：用比较函数去重，每类保留首次出现的元素及其顺序。
文言：校物去重，各存其先至者，序如故。
赋曰：重重花影照前阶，只取初枝入玉斋。后来同色随风去，留下春踪次第排。
：」
「移除重复」乃
  承「乙」而
  化（化「乙」而化「乙」而「爻」）而
  化（「列」于「乙」）而
  「列」于「乙」
也。
「移除重复」者受「乙」而会「等」而会「入」而
  鉴「入」而
    有「罄」则「罄」
    或有「缀」于「头」于「尾」则
      「缀」
        于「头」
        于（「移除重复」授以「乙」
          于「等」
          于（「滤」授以「乙」于（会「甲」而「非」于（「等」于「甲」于「头」））于「尾」））
也。

「：
汉语：返回出现至少两次的元素，每类只返回首次出现的代表，顺序不变。
文言：择有重者，各留其先以成列。
赋曰：一花两见记春来，重影相逢始入怀。同色再多惟取一，依然先后上瑶台。
：」
「找到重复」乃
  承「乙」而
  化（化「乙」而化「乙」而「爻」）而
  化（「列」于「乙」）而
  「列」于「乙」
也。
「找到重复」者受「乙」而会「等」而会「入」而
  鉴「入」而
    有「罄」则「罄」
    或有「缀」于「头」于「尾」则（
      若「存在吗」授以「乙」于（会「元素」而「等」于「头」于「元素」）于「尾」
      则
        「缀」
          于「头」
          于（「找到重复」授以「乙」
            于「等」
            于（「滤」授以「乙」于（会「甲」而「非」于（「等」于「甲」于「头」））于「尾」））
      否则
        「找到重复」授以「乙」于「等」于「尾」
    ）
也。

「：
汉语：用比较函数判断列表内是否存在重复元素。
文言：校列中物，有重则阳。
赋曰：巡过花丛问旧颜，曾经相见便相关。不须重复留名册，只报重逢在此间。
：」
「出现重复」乃
  承「乙」而
  化（化「乙」而化「乙」而「爻」）而
  化（「列」于「乙」）而
  「爻」
也。
「出现重复」者受「乙」而会「等」而会「入」而
  「不等于」于（「长度」授以「乙」于「入」）
  于（「长度」授以「乙」于（「移除重复」授以「乙」于「等」于「入」））
也。

「：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：」
「：
汉语：接收列表和条件，返回满足条件的列表与不满足条件的列表，两边都保持原顺序。
文言：以条件分列为二，合者在先，不合在后，各守其序。
赋曰：一水逢堤向两边，去来各自守行船。合心一岸余居彼，分道依然记后先。
：」
「条件分类」乃
  承「甲」而
  化（「列」于「甲」）而
  化（化「甲」而「爻」）而
  （（「列」于「甲」）合（「列」于「甲」））
也。
「条件分类」者受「甲」而会「待分类」而会「条件」而
  鉴「待分类」而
    有「罄」则「罄」与「罄」
    或有（「缀」于「头」于「尾」）则（
      若「条件」于「头」
      则
        （
          虑「递归结果」者（「条件分类」授以「甲」于「尾」于「条件」）而
          （「缀」于「头」于（「递归结果」中「零」））与（「递归结果」中「一」）
        ）
      否则
        （
          虑「递归结果」者（「条件分类」授以「甲」于「尾」于「条件」）而
          （（「递归结果」中「零」））与（「缀」于「头」于（「递归结果」中「一」））
        ）
    ）
也。

「：
汉语：读取列表引用，将新元素加到头部并写回，返回元。
文言：读列之引，以新物冠首而写还，归元。
赋曰：新枝插在旧枝前，一卷重书首字鲜。匣里原行随笔换，后来读者见新篇。
：」
「列引用前衔」乃承「甲」而化「引用类」于（「列」于「甲」）而化「甲」而「有」也。
「列引用前衔」者受「甲」而会「列引用」而会「新元素」而
  「写引用」授以（「列」于「甲」）
  于「列引用」
  于（「缀」于「新元素」于（「读引用」授以（「列」于「甲」）于「列引用」））
也。

「：
汉语：在相邻元素之间插入给定分隔元素；首尾不添加，空列表仍为空。
文言：邻物之间置所授隔物，首末不加，空仍空。
赋曰：花间置石作微桥，只向相邻接小条。首尾不添闲路径，空园依旧任风摇。
：」
「以分隔符合并列」乃承「甲」而化「甲」而化（「列」于「甲」）而「列」于「甲」也。
「以分隔符合并列」者受「甲」而会「分隔符」而会「列」而
  鉴「列」而
    有「罄」则「罄」
    或有（「列」【「元素」】）则（「列」【「元素」】）
    或有「缀」于「元素」于「尾」则
      「缀」于「元素」于（「缀」于「分隔符」于（「以分隔符合并列」授以「甲」于「分隔符」于「尾」））
也。

「：
汉语：接收起始序数、组合函数、初值和列表；索引向右递增，组合从右返回，参数为索引、元素、累积值。
文言：自授序右增，先合尾再合首；授合术以序、物、积。
赋曰：向右题签向左收，后波先合入前流。每逢一物携原号，直到源头满一舟。
：」
「从右折叠带序数」乃
  承「甲」而承「乙」而
  化「整数」而
  化（化「整数」而化「甲」而化「乙」而「乙」）而
  化「乙」而
  化（「列」于「甲」）而
  「乙」
也。
「从右折叠带序数」者受「甲」而受「乙」而会「当前数」而会
「组合」而会「缺省」而
（会「甲列」而
（
  鉴「甲列」而
    有「罄」则「缺省」
    或有「缀」于「头」于「尾」则（「组合」
      于「当前数」
      于「头」
      于（「从右折叠带序数」授以「甲」授以「乙」于（「加」于「当前数」于「一」）于「组合」于「缺省」于（「尾」）））
））也。

「：
汉语：接收起始序数、组合函数、初值和列表，从左向右递增索引并累积；组合参数为索引、元素、累积值。
文言：自授序循列递增，以序、物、积施合术，至末而还。
赋曰：起号随舟一路行，前波合后数新程。每湾都带来时记，走尽长川一册成。
：」
「从左折叠带序数」乃
  承「甲」而承「乙」而
  化「整数」而
  化（化「整数」而化「甲」而化「乙」而「乙」）而
  化「乙」而
  化（「列」于「甲」）而
  「乙」
也。
「从左折叠带序数」者受「甲」而受「乙」而会「当前数」而会
「组合」而会「缺省」而会「甲列」而
（
  鉴「甲列」而
    有「罄」则「缺省」
    或有「缀」于「头」于「尾」则（「从左折叠带序数」授以「甲」授以「乙」
      于（「加」于「当前数」于「一」）于「组合」
        于（「组合」于「当前数」于「头」于「缺省」）于「尾」）
）也。