寻观「标准库」之书。

「：文言：验代数类型、闭包、引用与排序。汉语：综合探针三：代数数据类型与模式匹配、闭包捕获、可变引用、插入排序。：」
「形」立「元类型」也。
  「圆」立化「整数」而「形」也。
  「矩」立化「整数」而化「整数」而「形」也。

「面积」乃化「形」而「整数」也。
「面积」者会「甲」而
  鉴「甲」而
    有「圆」于「r」则「乘」于「r」于「r」
    或有「矩」于「w」于「h」则「乘」于「w」于「h」
也。

「累计」乃化（「列」于「形」）而「整数」也。
「累计」者会「们」而
  「从左折叠」授以「形」授以「整数」
    于（会「项」而会「累」而「加」于「累」于（「面积」于「项」））
    于「零」
    于「们」
也。

「造加」乃化「整数」而（化「整数」而「整数」）也。
「造加」者会「n」而
  （会「x」而「加」于「x」于「n」）
也。

「插入」乃化「整数」而化（「列」于「整数」）而（「列」于「整数」）也。
「插入」者会「x」而会「们」而
  鉴「们」而
    有「罄」则「列」【「x」】
    或有「缀」于「首」于「尾」则
      若「小于」于「x」于「首」则「缀」于「x」于「们」否则「缀」于「首」
      于（「插入」于「x」于「尾」）
也。

「排序」乃化（「列」于「整数」）而（「列」于「整数」）也。
「排序」者会「们」而
  「从左折叠」授以「整数」授以（「列」于「整数」）
  于（会「项」而会「累」而「插入」于「项」于「累」）
  于（「罄」授以「整数」）
  于「们」
也。

「打印行」于（「整数表示」于（「累计」于（「列」【「圆」于「三」，「矩」于「四」于「五」，「圆」于「一零」】）））。
「打印行」于（「整数表示」于（（「造加」于「一零」）于「三二」））。
「计数」乃化「整数」而「整数」也。
「计数」者会「n」而
  虑「引」者「新引用」授以「整数」于「零」而
  递归虑「循环」其化「整数」而「有」者会「i」而
    若「小于」于「i」于「n」则（
      虑「甲」者
        「写引用」授以「整数」
        于「引」
        于（「加」于（「读引用」授以「整数」于「引」）于「i」）
      而
      「循环」于（「加」于「i」于「一」）
    ）否则「元」
  而
  虑「乙」者「循环」于「零」而
  「读引用」授以「整数」于「引」
也。

「打印行」于（「整数表示」于（「计数」于「一零零零」））。
「打印行」于（「串列表示」于（「态射」授以「整数」授以「字符串」
  于（「排序」于（「列」【「五」，「三」，「九」，「一」，「四」，「一」，「八」，「二」】））
  于「整数表示」））。
