寻观「标准库」之书。

「按短列与长列分别映射并保留原有次序」乃
  承「甲」而承「乙」而
  化（「列」于「甲」）而
  化（化「甲」而「乙」）而
  （「列」于「乙」）
也。
「按短列与长列分别映射并保留原有次序」者
  受「甲」而受「乙」而会「输入列」而会「映射函数」而
  鉴「输入列」而
    有「罄」则「罄」授以「乙」
    或有（「列」【「首项」】）则
      「列」【「映射函数」于「首项」】
    或有（「列」【「首项」，「第二项」】）则（
      虑「首项结果」者「映射函数」于「首项」而
      虑「第二项结果」者「映射函数」于「第二项」而
      「列」【「首项结果」，「第二项结果」】
    ）
    或有（「列」【「首项」，「第二项」，「第三项」】）则（
      虑「首项结果」者「映射函数」于「首项」而
      虑「第二项结果」者「映射函数」于「第二项」而
      虑「第三项结果」者「映射函数」于「第三项」而
      「列」【「首项结果」，「第二项结果」，「第三项结果」】
    ）
    或有「长列」则（
      「：文言：长列先逆积，终再正之。汉语：长列表用两个局部递归函数保持原顺序。：」
      递归虑「倒转结果列」其化（「列」于「乙」）而化（「列」于「乙」）而（「列」于「乙」）者
        会「待倒转项们」而会「已经倒转项们」而
        鉴「待倒转项们」而
          有「罄」则「已经倒转项们」
          或有（「缀」于「当前项」于「剩余项们」）则
            「倒转结果列」
              于「剩余项们」
              于（「缀」授以「乙」于「当前项」于「已经倒转项们」）
      而
      递归虑「逐项映射到逆序列」其化（「列」于「甲」）而化（「列」于「乙」）而（「列」于「乙」）者
        会「待处理项们」而会「逆序结果们」而
        鉴「待处理项们」而
          有「罄」则「逆序结果们」
          或有（「缀」于「当前项」于「剩余项们」）则
            虑「当前结果」者「映射函数」于「当前项」而
            「逐项映射到逆序列」
              于「剩余项们」
              于（「缀」授以「乙」于「当前结果」于「逆序结果们」）
      而
      「倒转结果列」
        于（「逐项映射到逆序列」于「长列」于（「罄」授以「乙」））
        于（「罄」授以「乙」）
    ）
也。
