豫言源码浏览器

yuyan · 221 行 · 11827 字节 · UTF-8



寻观「标准库」之「数据结构」之「爻术」之书。

寻观「标准库」之「语言核心」之「内建类型」之书。

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

「列」立化「元类型」而「元类型」也。
「罄」立（承「甲」而「列」于「甲」）也。
「缀」立（承「甲」而化「甲」而化（「列」于「甲」）而「列」于「甲」）也。

「： 注 list map。 ：」
「态射」乃（承「甲」而承「乙」而化（「列」于「甲」）而化（化「甲」而「乙」）而「列」于「乙」）也。
「态射」者受「甲」而受「乙」而
    会「列」而（会「射」而（鉴「列」而
        有「罄」则「罄」
        或有「缀」于「头」于「尾」则
            （「缀」于（「射」于（「头」））于（「态射」于（「尾」）于「射」） ）
            ））也。

「：打表态射是态射的兼容别名：」
「打表态射」乃（承「甲」而承「乙」而化（「列」于「甲」）而化（化「甲」而「乙」）而「列」于「乙」）也。
「打表态射」者受「甲」而受「乙」而会「列」而会「射」而「态射」于「列」于「射」也。



「： 注 list foldr。 ：」
「从右折叠」乃承「甲」而承「乙」而化（化「甲」而化「乙」而「乙」）而化「乙」而化（「列」于「甲」）而「乙」也。
「从右折叠」者受「甲」而受「乙」而会
	    「组合」而会「缺省」而（会「甲列」而（鉴「甲列」而
        有「罄」则「缺省」
        或有「缀」于「头」于「尾」则
	            （
                「组合」于「头」于（「从右折叠」授以「甲」授以「乙」于「组合」于「缺省」于（「尾」）） 
	            ）））也。

「： 注 list foldl。 ：」
「从左折叠」乃承「甲」而承「乙」而化（化「甲」而化「乙」而「乙」）而化「乙」而化（「列」于「甲」）而「乙」也。
「从左折叠」者受「甲」而受「乙」而会
	    「组合」而会「缺省」而会「甲列」而（鉴「甲列」而
        有「罄」则「缺省」
        或有「缀」于「头」于「尾」则
	            （
                「从左折叠」授以「甲」授以「乙」于「组合」于（「组合」于「头」于「缺省」）于「尾」 
	            ））也。

「： 注：list filter。 ：」
「滤」乃承「乙」而化（化「乙」而「爻」）而化（「列」于「乙」）而「列」于「乙」也。
「滤」者会
    「过滤函数」而（
        会「甲」而鉴「甲」而
        有「罄」则「甲」
        或有「缀」于「头」于「尾」则
	            （
                若「过滤函数」于（「头」）
                则「缀」于「头」于（「滤」于「过滤函数」于（「尾」））
                否则「滤」于「过滤函数」于（「尾」）
	            ））也。

「滤debug」乃承「乙」而化（化「乙」而「爻」）而化（「列」于「乙」）而「列」于「乙」也。
「滤debug」者受「乙」而会
    「过滤函数」而会「甲」而
    虑「结果」者「滤」授以「乙」于「过滤函数」于「甲」而
    虑「无」者「笔」之「打印行」于『过滤完成，结果是』而
    「结果」
也。

「： 注append。 ：」
「附加」乃承「乙」而化（「列」于「乙」）而化（「列」于「乙」）而「列」于「乙」也。
「附加」者会
	    「列一」而会「列二」而（鉴「列一」而
        有「罄」则「列二」
        或有「缀」于「头」于「尾」则
	            （
                「缀」于「头」于（「附加」于「尾」于「列二」）
	            ））也。
「： 注 list foldmap。 ：」
「从左态射折叠」乃承「甲」而承「乙」而承「丙」而化（化「甲」而化「乙」而「丙」合「乙」）而化「乙」而化（「列」于「甲」）而（（「列」于「丙」）合「乙」）也。
「从左态射折叠」者受「甲」而受「乙」而受「丙」而（会
    「组合」而会「缺省」而会「甲列」而
    「从左折叠」授以「甲」授以（（「列」于「丙」）合「乙」）于（会「当前元素」而会「列及累加」而
        鉴「列及累加」而
        有（「丙列」与「累加」）则（
            鉴（「组合」于「当前元素」于（「列及累加」中「一」））而
                有（「新素」与「新累加」）则（「附加」于（「列及累加」中「零」）于（（「列」【「新素」】））与「新累加」）
        ）
    ）于（「罄」与「缺省」）于「甲列」）也。

「： 注append。 ：」
「结尾多」乃承「乙」而化（「列」于「乙」）而化「乙」而「列」于「乙」也。
「结尾多」者会「列一」而会「元素」而
        「附加」于「列一」于（（「列」【「元素」】））也。


「： 注reverse。 ：」
「反转」乃承「乙」而化（「列」于「乙」）而「列」于「乙」也。
「反转」者会「列」而（鉴「列」而
        有「罄」则（「列」）
        或有「缀」于「头」于「尾」则
                「附加」于（「反转」于（「尾」））于（（「列」【「头」】））
	）也。
「： 注concat。建议改名：列联 ：」
「串联」乃承「乙」而化（「列」于（「列」于「乙」））而「列」于「乙」也。
「串联」者会「甲」而鉴「甲」而
        有「罄」则「罄」
        或有「缀」于「头」于「尾」则「附加」于「头」于（「串联」于（「尾」））
            也。

「： 注length。 ：」
「长度」乃承「乙」而化（「列」于「乙」）而「整数」也。
「长度」者受「乙」而
	        会「甲」而（鉴「甲」而
        有「罄」则「零」
        或有「缀」于「头」于「尾」则
                （「加」于「一」于（「长度」授以「乙」于（「尾」）））
	        ）也。

「： 注takeN。 ：」
「取」乃承「乙」而化「整数」而化（「列」于「乙」）而「列」于「乙」也。
「取」者会「数」而会「甲」而
            鉴「甲」而
            有「罄」则「罄」
            或有「缀」于「头」于「尾」则
                （若 「等」于「数」于「零」
                    则「罄」
                    否则
                        （
                            「缀」于「头」于（「取」于（「减」于「数」于「一」）于（「尾」））
                ））也。

「： 注dropN。 ：」
「放」乃承「乙」而化「整数」而化（「列」于「乙」）而「列」于「乙」也。
「放」者
        会「数」而会「甲」而
            鉴「甲」而
            有「罄」则（
                若 「等」于「数」于「零」
                则 （「罄」）
                否则 「发生事故」于『索引异常』
            ）
            或有「缀」于「头」于「尾」则
                （若「整数操作」之「等零」于「数」则「甲」
                    否则
                        （
                            
                            （「放」于（「减」于「数」于「一」）于（「尾」））
                ））也。

「： 注dropN at the end。 ：」
「结尾放」乃承「乙」而化「整数」而化（「列」于「乙」）而「列」于「乙」也。
「结尾放」者受「乙」而会「数」而会「列」而
        「反转」于（「放」于「数」于（（「反转」）于「列」））
        也。

「： 注beginswith。 ：」
「以起否」乃承「乙」而化（化「乙」而化「乙」而（「爻」））而化（「列」于「乙」）而化（「列」于「乙」）而「爻」也。
「以起否」者受「乙」而
        会「等于测试」而会「前缀」而会「测试列」而
             鉴「前缀」而
            有「罄」则「阳」
            或有「缀」于「缀头」于「缀尾」则
                （鉴「测试列」而
                    有「罄」则「阴」
                    或有「缀」于「测头」于「测尾」则
                        「且」于（「等于测试」 于 （「缀头」） 于（「测头」））
                            于（「以起否」授以「乙」于「等于测试」 于 （「缀尾」） 于 （「测尾」））
                ）也。
「： 注endswith。 ：」
「以终否」乃承「乙」而化（化「乙」而化「乙」而（「爻」））而化（「列」于「乙」）而化（「列」于「乙」）而「爻」也。
「以终否」者受「乙」而会「等于测试」而会「后缀」而会「测试列」而
            「以起否」授以「乙」于「等于测试」于（（「反转」授以「乙」）于「后缀」）于（「反转」授以「乙」于「测试列」）也。


「： 注exists。 ：」
「存在吗」乃承「乙」而化（化「乙」而（「爻」））而化（「列」于「乙」）而「爻」也。
「存在吗」者受「乙」而会「函」而会「列」而「非」于（「等」于「零」于（「长度」授以「乙」于（（「滤」授以「乙」于「函」于（「列」）））））也。    

「： 注all。 ：」
「全部符合」乃承「乙」而化（化「乙」而（「爻」））而化（「列」于「乙」）而「爻」也。
「全部符合」者受「乙」而会「函」而会「列」而「等」于（「长度」授以「乙」于「列」）于（「长度」授以「乙」于（（「滤」授以「乙」于「函」于（「列」））））也。    
        
「： 注tabulate。 ：」
「打表」乃承「乙」而化「整数」而化（化「整数」而（「乙」））而「列」于「乙」也。
「打表」者受「乙」而会「数」而会「函」而
虑「原数」者「数」而
递归虑「递归」其化「整数」而（「列」于「乙」）者
    会「当前数」而
        （
            若「等」于「当前数」于「原数」则
                （
                    「罄」）
                否则（
                    「缀」于（虑「返回」者「函」于（「当前数」）而（
                        「返回」
                    ））于（「递归」于（「加」于「当前数」于「一」））
                ）
        ）
而
    「递归」于「零」
也。


「第N个」乃承「乙」而化「整数」而化（「列」于「乙」）而「乙」也。
「第N个」者会「数」而会「列」而
    若「等」于「零」于「数」则（
        鉴「列」而
            有「缀」于「头」于「尾」则（「头」）
            或有「罄」则
            （「发生事故」于『索引异常』）
    ）否则（
        鉴「列」而
            有「缀」于「头」于「尾」则（「第N个」于（「减」于「数」于「一」）于「尾」）
            或有「罄」则
            （「发生事故」于『索引异常』）
    ）
    也。

yuyan · 8 行 · 593 字节 · UTF-8




「柯里化」乃承「甲」而承「乙」而承「丙」而化（化（「甲」合「乙」）而「丙」）而（化「甲」而化「乙」而「丙」）也。
「柯里化」者会「函」而会「甲」而会「乙」而「函」于（「甲」与「乙」）也。

「逆柯里化」乃承「甲」而承「乙」而承「丙」而化（化「甲」而化「乙」而「丙」）而（化「甲」合「乙」而「丙」）也。
「逆柯里化」者会「函」而会「甲及乙」而「函」于（「甲及乙」中「零」）于（「甲及乙」中「一」）也。

yuyan · 279 行 · 20265 字节 · 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：」
「条件分类」乃承「甲」而化（「列」于「甲」）而化（化「甲」而「爻」）而（（「列」于「甲」）合（「列」于「甲」））也。
「条件分类」者受「甲」而会「待分类」而会「条件」而
    鉴「待分类」而
        有「罄」则「罄」与「罄」
        或有（「缀」于「头」于「尾」）则
            （若「条件」于「头」
                则（
                    虑「递归结果」者（「条件分类」授以「甲」于「尾」于「条件」）而
                    （「缀」于「头」于（「递归结果」中「零」））与（「递归结果」中「一」）
                ）
                否则（
                    虑「递归结果」者（「条件分类」授以「甲」于「尾」于「条件」）而
                    （（「递归结果」中「零」））与（「缀」于「头」于（「递归结果」中「一」））
                ）
            ）也。

「列引用前衔」乃承「甲」而化「引用类」于（「列」于「甲」）而化「甲」而「有」也。
「列引用前衔」者受「甲」而会「列引用」而会「新元素」而
    「写引用」授以（「列」于「甲」）于「列引用」于（「缀」于「新元素」于（「读引用」授以（「列」于「甲」）于「列引用」））也。

「以分隔符合并列」乃承「甲」而化「甲」而化（「列」于「甲」）而「列」于「甲」也。
「以分隔符合并列」者受「甲」而会「分隔符」而会「列」而
    鉴「列」而
    有「罄」则「罄」
    或有（「列」【「元素」】）则（「列」【「元素」】）
    或有「缀」于「元素」于「尾」则「缀」于「元素」于（「缀」于「分隔符」于（「以分隔符合并列」授以「甲」于「分隔符」于「尾」））
    也。

「从右折叠带序数」乃承「甲」而承「乙」而化「整数」而化（化「整数」而化「甲」而化「乙」而「乙」）而化「乙」而化（「列」于「甲」）而「乙」也。
「从右折叠带序数」者受「甲」而受「乙」而会「当前数」而会
    「组合」而会「缺省」而（会「甲列」而（鉴「甲列」而
        有「罄」则「缺省」
        或有「缀」于「头」于「尾」则
            （
                「组合」于「当前数」于「头」于（「从右折叠带序数」授以「甲」授以「乙」于（「加」于「当前数」于「一」）于「组合」于「缺省」于（「尾」））
            ）））也。

「从左折叠带序数」乃承「甲」而承「乙」而化「整数」而化（化「整数」而化「甲」而化「乙」而「乙」）而化「乙」而化（「列」于「甲」）而「乙」也。
「从左折叠带序数」者受「甲」而受「乙」而会「当前数」而会
    「组合」而会「缺省」而会「甲列」而（鉴「甲列」而
        有「罄」则「缺省」
        或有「缀」于「头」于「尾」则
            （
                「从左折叠带序数」授以「甲」授以「乙」于（「加」于「当前数」于「一」）于「组合」于（「组合」于「当前数」于「头」于「缺省」）于「尾」
            ））也。

yuyan · 43 行 · 3662 字节 · UTF-8


寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「数据结构」之「字符串术」之书。
寻观「标准库」之「数据结构」之「多态列」之书。
寻观「标准库」之「数据结构」之「爻术」之书。

「：因为v0.1版本对于对子类型的自动匹配不完全，这些函数可以帮助类型检查
TODO：在v0.2版本中应当可以移除这些函数：」
「二对子取零」乃承「甲」而承「乙」而化「甲」合「乙」而「甲」也。
「二对子取零」者会「对」而「对」中「零」也。

「二对子取一」乃承「甲」而承「乙」而化「甲」合「乙」而「乙」也。
「二对子取一」者会「对」而「对」中「一」也。

「解构二对子」乃承「甲」而承「乙」而承「丙」而化「甲」合「乙」而化（化「甲」而化「乙」而「丙」）而「丙」也。
「解构二对子」者会「对」而会「操」而「操」于（「对」中「零」）于（「对」中「一」）也。

「二对子操作」乃承「甲」而承「乙」而承「丙」而承「丁」而化「甲」合「乙」而化（化「甲」而「丙」）而化（化「乙」而「丁」）而「丙」合「丁」也。
「二对子操作」者会「对」而会「操零」而会「操一」而（「操零」于（「对」中「零」））与（「操一」于（「对」中「一」））也。

「二对子操作零」乃承「甲」而承「乙」而承「丙」而化「甲」合「乙」而化（化「甲」而「丙」）而「丙」合「乙」也。
「二对子操作零」者会「对」而会「操」而（「操」于（「对」中「零」））与（「对」中「一」）也。

「二对子操作一」乃承「甲」而承「乙」而承「丁」而化「甲」合「乙」而化（化「乙」而「丁」）而「甲」合「丁」也。
「二对子操作一」者会「对」而会「操」而（「对」中「零」）与（「操」于（「对」中「一」））也。

「二对子相等」乃承「甲」而承「乙」而化（化「甲」而化「甲」而「爻」）而化（化「乙」而化「乙」而「爻」）而化（「甲」合「乙」）而化（「甲」合「乙」）而「爻」也。
「二对子相等」者会「等左」而会「等右」而会「对一」而会「对二」而
    「且」于（「等左」于（「对一」中「零」）于（「对二」中「零」））
        于（「等右」于（「对一」中「一」）于（「对二」中「一」））也。

「二对子表示」乃承「甲」而承「乙」而化（化「甲」而「字符串」）而化（化「乙」而「字符串」）而化（「甲」合「乙」）而「字符串」也。
「二对子表示」者会「表示左」而会「表示右」而会「对」而
    「串组合并」于（（「列」【『（』，（「表示左」于（「对」中「零」）），『与』，（「表示右」于（「对」中「一」）），『）』】））也。

「三对子取零」乃承「甲」而承「乙」而承「丙」而化「甲」合「乙」合「丙」而「甲」也。
「三对子取零」者会「对」而「对」中「零」也。

「三对子取一」乃承「甲」而承「乙」而承「丙」而化「甲」合「乙」合「丙」而「乙」也。
「三对子取一」者会「对」而「对」中「一」也。

「三对子取二」乃承「甲」而承「乙」而承「丙」而化「甲」合「乙」合「丙」而「丙」也。
「三对子取二」者会「对」而「对」中「二」也。

yuyan · 70 行 · 4832 字节 · UTF-8

「：这是我尝试加速文字处理的程序，非常具有实验性质：」



寻观「标准库」之「数据结构」之「整数操作」之书。

寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「数学运算」之「数组转换」之书。
「可索引字符串」即「字符串」也。
「：可索引字符流在JS平台上可以是buffer：」
「字符流」即「可索引字符串」合「整数」「：末尾结尾0在字符串中的序数：」
            合「整数」「：当前的序数，指向下个待读的值：」也。「：整数是UTF8中当前指针位置：」

「字节长度」乃化「可索引字符串」而「整数」也。
「字节长度」者会「串」而《《C调用》》名『豫言_字符串字节数组长度』传「串」也。

「创建字符流」乃化「字符串」而「字符流」也。
「创建字符流」者会「串」而
    虑「索引串」者（「可索引字符串」也《《C调用》》名『豫言_字符串获取字节数组』传「串」）而
    「索引串」与（「字节长度」于「索引串」）与「零」也。


「：在当前位置匹配下个字符串：」
「字符流获取剩余字符串」乃化「字符流」而「字符串」也。
「字符流获取剩余字符串」者会「流」而
    虑「被匹配」者「流」中「零」而
    虑「当前指针」者「流」中「二」而
    《《C调用》》名『豫言_子字符串从字节序数开始』传「被匹配」与「当前指针」也。

「：在当前位置匹配下个字符串：」
「字符流匹配字符串」乃化「字符流」而化「字符串」而「爻」也。
「字符流匹配字符串」者会「流」而会「串」而
    虑「被匹配」者「流」中「零」而
    虑「当前指针」者「流」中「二」而
    《《C调用》》名『豫言_字符串匹配』传「被匹配」与「当前指针」与「串」也。

「：在当前位置匹配下个字符串：」
「字符流前进字符串」乃化「字符流」而化「字符串」而「字符流」也。
「字符流前进字符串」者会「流」而会「串」而
    虑「新流」者（「流」中「零」）与（「流」中「一」）与（「加」于（「流」中「二」）于（「字节长度」于「串」））
    而「新流」也。

「：处于效率考虑，仅比较当前指针是否相等：」
「字符流位置相等」乃化「字符流」而化「字符流」而「爻」也。
「字符流位置相等」者会「流甲」而会「流乙」而「等」于（「流甲」中「二」）于（「流乙」中「二」）也。

「字符流已经结束」乃化「字符流」而「爻」也。
「字符流已经结束」者会「流」而「等」于（「流」中「一」）于（「流」中「二」）也。

「字符流获取下个字符」乃化「字符流」而「字符串」合「字符流」也。
「字符流获取下个字符」者会「流」而
    虑「被匹配」者「流」中「零」而
    虑「当前指针」者「流」中「二」而
    虑「下个字符」者（「字符串」也（《《C调用》》名『豫言_字符串获取字节序数当前字符』传「被匹配」与「当前指针」））而
    虑「下个字符字节长度」者（「字节长度」于「下个字符」）而
    虑「无」者（若「等」于「下个字符字节长度」于「零」则「发生事故」于『无法获取下个字符』否则「元」）而
    虑「新流」者（「流」中「零」）与（「流」中「一」）与（「加」于（「流」中「二」）于（「下个字符字节长度」））
    而「下个字符」与「新流」也。

「：字符流的下个字必须是"，返回对应的"前的字符串以及新的字符流，
新字符流的下一个字是"的后一个字：」
「字符流获取癸象字符串」乃化「字符流」而「字符串」合「字符流」合「有」也。
「字符流获取癸象字符串」者会「流」而
    虑「当前串」者「流」中「零」而
    虑「当前指针」者「流」中「二」而
    虑「获取串及前进数」者（「字符串」合「整数」也（「数组转换」之「数组转对子」于（《《C调用》》名『豫言_字符串获取JSON字符串』传「当前串」与「当前指针」）））而
    虑「新流」者（「流」中「零」）与（「流」中「一」）与（「加」于（「流」中「二」）于（「获取串及前进数」中「一」））而
    虑「新串」者（「字符串」也（「获取串及前进数」中「零」））而
    「新串」与「新流」与「元」也。

yuyan · 33 行 · 1840 字节 · UTF-8


寻观「标准库」之「语言核心」之「内建类型」之书。

寻观「标准库」之「语言核心」之「异常」之书。

「或可有」立化「元类型」而「元类型」也。
「可有」立（承「甲」而化「甲」而「或可有」于「甲」）也。
「可无」立承「甲」而「或可有」于「甲」也。

「获取可有内容」乃承「甲」而化（「或可有」于「甲」）而「甲」也。
「获取可有内容」者受「甲」而会「可」而
    鉴「可」而
    有（「可有」于「物」）则「物」
    或有「可无」则（「甲」也（「发生事故」于『试图从可无中获取信息』））也。

「可有态射」乃承「甲」而承「乙」而化（「或可有」于「甲」）而化（化「甲」而「乙」）而「或可有」于「乙」也。
「可有态射」者会「可」而会「射」而
    鉴「可」而
    有（「可有」于「物」）则（「可有」于（「射」于「物」））
    或有「可无」则「可无」也。

「有吗」乃承「甲」而化（「或可有」于「甲」）而「爻」也。
「有吗」者受「甲」而会「可」而
    鉴「可」而
    有（「可有」于「物」）则「阳」
    或有「可无」则「阴」也。

「可选值相等」乃承「甲」而化（化「甲」而化「甲」而「爻」）而化（「或可有」于「甲」）而化（「或可有」于「甲」）而「爻」也。
「可选值相等」者会「相等」而会「可甲」而会「可乙」而
    鉴（「可甲」与「可乙」）而
    有（（「可有」于「甲物」）与（「可有」于「乙物」））则（「相等」于「甲物」于「乙物」）
    或有（「可无」与「可无」）则「阳」
    或有「其他」则「阴」也。

yuyan · 215 行 · 13347 字节 · UTF-8

寻观「标准库」之「数据结构」之「多态列」之书。
寻观「标准库」之「数据结构」之「多态列工具」之书。

寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「续延」之书。
寻观「标准库」之「语言核心」之「异常」之书。

「： 注 string list。 ：」

寻观「标准库」之「数据结构」之「整数操作」之书。

寻观「标准库」之「数据结构」之「可选值」之书。


寻观「标准库」之「数学运算」之「数组转换」之书。


「串转通字符」乃化「字符串」而「列」于「字符串」也。
「串转通字符」者会「串」而（「数组转多态列」授以「字符串」）于（《《C调用》》名『豫言_获取通字符』传「串」）也。

「获取字符」者「串转通字符」也。

「通字符转串」乃化（「列」于「字符串」）而「字符串」也。
「通字符转串」者会「列」而
    虑「后列」者（（「多态列转数组」授以「字符串」）于「列」）而
    《《C调用》》名『豫言_通字符拼接』传「后列」也。

「合并」者「通字符转串」也。
「串组合并」者「通字符转串」也。


「字符串拼接」乃化「字符串」而化「字符串」而「字符串」也。
「字符串拼接」者会「串甲」而会「串乙」而《《C调用》》名『豫言_字符串拼接』传「串甲」与「串乙」也。

「间合」乃化「字符串」而化（「列」于「字符串」）而「字符串」也。
「间合」者会「分隔符」而会「字符串列」而
    递归虑「处理」其化（「列」于「字符串」）而（「列」于「字符串」）者
        会「剩余」而
            鉴「剩余」而
                有「罄」则「罄」
                或有（「列」【「甲」】）则（「列」【「甲」】）
                或有「缀」于「甲」于「乙」则「缀」于「甲」于（「缀」于「分隔符」于（「处理」于「乙」））
    而
        虑「结果」者「处理」于「字符串列」而
        「串组合并」于「结果」
    也。

「字符串相等吗」乃化「字符串」而化「字符串」而「爻」也。
「字符串相等吗」者会「串甲」而会「串乙」而《《C调用》》名『豫言_字符串相等』传「串甲」与「串乙」也。


「串相等」者「字符串相等吗」也。
「字符串相等」者「字符串相等吗」也。

「串组相等」乃化（「列」于「字符串」）而化（「列」于「字符串」）而「爻」也。
「串组相等」者会「甲」而会「乙」而
    鉴「甲」与「乙」而
        有「罄」与「罄」则「阳」
        或有（「缀」于「甲头」于「甲尾」）与（「缀」于「乙头」于「乙尾」）则（若「串相等」于「甲头」于「乙头」则「串组相等」于「甲尾」于「乙尾」否则「阴」）
        或有「其他」则「阴」也。


「是子字符串吗」乃化「字符串」而化「字符串」而「爻」也。
「是子字符串吗」者会「串甲」而会「串乙」而《《C调用》》名『豫言_是子字符串』传「串甲」与「串乙」也。

「： 注：串结尾是它吗 1 2 测试1是否为2的结尾。 ：」
「串结尾是它吗」乃化「字符串」而化「字符串」而「爻」也。
「串结尾是它吗」者会「串一」而会「串二」而
    （（「多态列」之「以终否」）授以「字符串」）
        于（「字符串相等吗」）
        于（「串转通字符」于（「串一」））
        于（「串转通字符」于（「串二」））也。

「串开头是它吗」乃化「字符串」而化「字符串」而「爻」也。
「串开头是它吗」者会「串一」而会「串二」而
    （（「多态列」之「以起否」）授以「字符串」）
        于（「字符串相等吗」）
        于（「串转通字符」于（「串一」））
        于（「串转通字符」于（「串二」））也。

「：从第二个参数结尾删除长度为第一个长度的字符串：」
「去除串结尾」乃化「字符串」而化「字符串」而「字符串」也。
「去除串结尾」者会「串一」而会「串二」而
    「通字符转串」于
        （（（「多态列」之「结尾放」）授以「字符串」）
        于（（（「多态列」之「长度」）授以「字符串」）于（「串转通字符」于（「串一」）））
        于（「串转通字符」于（「串二」）））也。

「：从第二个参数开头删除长度为第一个长度的字符串：」
「去除串开头」乃化「字符串」而化「字符串」而「字符串」也。
「去除串开头」者会「串一」而会「串二」而
    「通字符转串」于
        （（（「多态列」之「放」）授以「字符串」）
        于（（（「多态列」之「长度」）授以「字符串」）于（「串转通字符」于（「串一」）））
        于（「串转通字符」于（「串二」）））也。

「表示串」乃化「字符串」而「字符串」也。
「表示串」者会「串」而「串组合并」于（「列」【『『』，（递归虑「处理」其化（「列」于「字符串」）而（「列」于「字符串」）者
        会「列」而
            鉴「列」而
            有「缀」于『「：换行：」』于「尾」则「缀」于『「：「：：」换行：」』于（「处理」于「尾」）
            或有「缀」于『「：制表：」』于「尾」则「缀」于『「：「：：」制表：」』于（「处理」于「尾」）
            或有「缀」于『「：』：」』于「尾」则「缀」于『「：「：：」「：』：」：」』于（「处理」于「尾」）
            或有「缀」于『「』于（「缀」于『：』于「尾」）则「缀」于『「：「：：」「：「：：」：」』于（「处理」于「尾」）
            或有「缀」于「其他」于「尾」则「缀」于「其他」于（「处理」于「尾」）
            或有「罄」则「罄」
    而
        虑「结果」者「串组合并」于（「处理」于（「获取字符」于「串」））而
        「结果」
    ），『「：』：」』】）也。

「获取子字符串」乃化「整数」而化「整数」而化「字符串」而「字符串」也。
「获取子字符串」者会「始」而会「止」而会「串」而
    「串组合并」于（（「取」授以「字符串」）于（「减」于「止」于「始」）于（（「放」授以「字符串」）于「始」于（「获取字符」于「串」）））也。

「串长度」乃化「字符串」而「整数」也。
「串长度」者会「串」而（（「长度」授以「字符串」）于（「获取字符」于「串」））也。

「：第一个爻为从左或从右：」
「搜索单个」乃化「爻」而化「字符串」而化「字符串」而（「或可有」于「整数」）也。
「搜索单个」者会「从左」而会「搜索」而会「串」而
虑「字符们」者「获取字符」于「串」而
    （「以当前续延调用」于（
        会「返回」而
            （（「列」于「有」也（「态射」授以「整数」授以「有」）于（（化（「列」于「整数」）而（「列」于「整数」）也若「从左」则（会「甲」而「甲」）否则（会「整数列」而「反转」授以「整数」于「整数列」））
                    于（「整数范围」于「零」于（（「长度」授以「字符串」）于「字符们」））
                ）于（会「当前数值」而
                    若（「以起否」授以「字符串」）于「串相等」于（「获取字符」于「搜索」）于（（「放」授以「字符串」）于「当前数值」于「字符们」）
                    则（「返回」于（「可有」于「当前数值」））
                    否则「元」
                ））；
                「可无」
            ）
    ））也。

「串从左搜索单个」乃化「字符串」而化「字符串」而（「或可有」于「整数」）也。
「串从左搜索单个」者会「搜索」而会「串」而「搜索单个」于「阳」于「搜索」于「串」也。
「串从右搜索单个」乃化「字符串」而化「字符串」而（「或可有」于「整数」）也。
「串从右搜索单个」者会「搜索」而会「串」而「搜索单个」于「阴」于「搜索」于「串」也。

「字节长度」乃化「字符串」而「整数」也。
「字节长度」者会「串」而《《C调用》》名『豫言_字符串字节长度』传「串」也。

「：字符转整数于串于序数

将返回串的第序数个byte的整数值，使用C字符串的表示方式。
序数必须小于等于字节长度，如果序数等于字节长度，将返回零：」
「字符转整数」乃化「字符串」而化「整数」而「整数」也。
「字符转整数」者会「串」而会「序数」而
    若（「大于」于「序数」于（「字节长度」于「串」））则「发生事故」于『序数超出范围』
    否则（《《C调用》》名『豫言_字符转整数』传「串」与「序数」）也。

「字节转字符串」乃化「整数」而「字符串」也。
「字节转字符串」者会「字节」而《《C调用》》名『豫言_字节转字符串』传「字节」也。

「字符串转无调拼音」乃化「字符串」而「字符串」也。
「字符串转无调拼音」者会「文本」而
    《《C调用》》名『豫言_字符串转无调拼音』传「文本」也。

「字符串转拼音首字母」乃化「字符串」而「字符串」也。
「字符串转拼音首字母」者会「文本」而
    《《C调用》》名『豫言_字符串转拼音首字母』传「文本」也。

「串是模糊子序列吗」乃化「字符串」而化「字符串」而「爻」也。
「串是模糊子序列吗」者会「查询」而会「目标」而
    递归虑「继续比较」其化（「列」于「字符串」）而化（「列」于「字符串」）而「爻」者
        会「查询字符」而会「目标字符」而
        鉴「查询字符」而
            有「罄」则「阳」
            或有（「缀」于「查询首字」于「查询其余」）则
                鉴「目标字符」而
                    有「罄」则「阴」
                    或有（「缀」于「目标首字」于「目标其余」）则
                        若「字符串相等吗」于「查询首字」于「目标首字」
                        则「继续比较」于「查询其余」于「目标其余」
                        否则「继续比较」于「查询字符」于「目标其余」
    而「继续比较」于（「获取字符」于「查询」）于（「获取字符」于「目标」）
也。

「串含非阿斯基字符吗」乃化「字符串」而「爻」也。
「串含非阿斯基字符吗」者会「文本」而
    （「存在吗」授以「字符串」）于
        （会「字符」而「大于」于（「字符转整数」于「字符」于「零」）于「一二七」）于
        （「获取字符」于「文本」）
也。


「串查找替换」乃化「字符串」「：目标字符串：」
          而化「字符串」「：寻找字符串：」
          而化「字符串」「：替换字符串：」
          而「字符串」也。
「串查找替换」者会「原先」而会「寻找」而会「替换」而
    「串组合并」于（（「列查找替换」授以「字符串」）
                于「串相等」
                于（「获取字符」于「原先」）
                于（「获取字符」于「寻找」）
                于（「获取字符」于「替换」））也。



「多态列表示」乃承「甲」而化（化「甲」而「字符串」）而化（「列」于「甲」）而「字符串」也。
「多态列表示」者受「甲」而会「元素表示」而会「列」而
    「串组合并」于（（「列」【『【』，（「间合」于『，』于（（「态射」）于「列」于「元素表示」）），『】』】））也。

「串列表示」乃化（「列」于「字符串」）而「字符串」也。
「串列表示」者会「列」而
    （「多态列表示」授以「字符串」）于（会「甲」而「甲」）于「列」也。

「可选值表示」乃承「甲」而化（化「甲」而「字符串」）而化（「或可有」于「甲」）而「字符串」也。
「可选值表示」者受「甲」而会「元素表示」而会「可选」而
    鉴「可选」而
        有「可无」则『可无』
        或有（「可有」于「元素」）则
            「串组合并」于（（「列」【『可有（』，（「元素表示」于「元素」），『）』】））
    也。

yuyan · 11 行 · 273 字节 · UTF-8


寻「标准库」之「数据结构」之「字符串术」之书。

「新行」者『
』也。

「制表」者『    』也。

「回车」者「字符串术」之「字节转字符串」于「一三」也。

「回车换行」者「回车」附「新行」也。

yuyan · 27 行 · 1608 字节 · UTF-8

寻观「标准库」之「语言核心」之「内建类型」之书。

「：
字节串保存任意八位字节，并以显式长度为界；零字节不是结束标记。
字符串在 C 运行时中也使用这一表示，二者只在豫言类型系统中区分。
存储区有一个不计入长度的隐藏结尾零，仅用于与 C 文本接口互操作。
：」

「字节串」立「元类型」也。

「空字节串」乃化「有」而「字节串」也。
「空字节串」者会「甲」而《《C调用》》名『豫言_字节串_空』传「元」也。

「字节串长度」乃化「字节串」而「整数」也。
「字节串长度」者会「内容」而《《C调用》》名『豫言_字节串_长度』传「内容」也。

「字节串取字节」乃化「字节串」而化「整数」而「整数」也。
「字节串取字节」者会「内容」而会「序数」而《《C调用》》名『豫言_字节串_取字节』传「内容」与「序数」也。

「字符串转字节串」乃化「字符串」而「字节串」也。
「字符串转字节串」者会「内容」而《《C调用》》名『豫言_字节串_从字符串』传「内容」也。

「单字节串」乃化「整数」而「字节串」也。
「单字节串」者会「字节」而《《C调用》》名『豫言_字节串_单字节』传「字节」也。

「拼接字节串」乃化「字节串」而化「字节串」而「字节串」也。
「拼接字节串」者会「左串」而会「右串」而《《C调用》》名『豫言_字节串_拼接』传「左串」与「右串」也。

yuyan · 29 行 · 1324 字节 · UTF-8

寻观「标准库」之「语言核心」之「内建类型」之书。




「加」乃化「小数」而化「小数」而「小数」也。
「加」者会「甲」而会「乙」而《《C调用》》名『豫言_小数加』传「甲」与「乙」也。


「乘」乃化「小数」而化「小数」而「小数」也。
「乘」者会「甲」而会「乙」而《《C调用》》名『豫言_小数乘』传「甲」与「乙」也。

「除以」乃化「小数」而化「小数」而「小数」也。
「除以」者会「甲」而会「乙」而《《C调用》》名『豫言_小数除』传「甲」与「乙」也。


「减」乃化「小数」而化「小数」而「小数」也。
「减」者会「甲」而会「乙」而《《C调用》》名『豫言_小数减』传「甲」与「乙」也。

「小数表示」乃化「小数」而「字符串」也。
「小数表示」者会「甲」而《《C调用》》名『豫言_小数转字符串』传「甲」也。

「表示」乃化「小数」而「字符串」也。
「表示」者会「甲」而《《C调用》》名『豫言_小数转字符串』传「甲」也。



「理解小数」乃化「字符串」而「小数」也。
「理解小数」者会「甲」而《《C调用》》名『豫言_字符串转小数』传「甲」也。

yuyan · 25 行 · 1047 字节 · UTF-8


寻观「标准库」之「语言核心」之「内建类型」之书。


「： 注 not。 ：」
「非」乃化「爻」而「爻」也。
「非」者会「甲」而若「甲」则「阴」否则「阳」也。

「： 注 and。 ：」
「且」乃化「爻」而化「爻」而「爻」也。
「且」者会「甲」而会「乙」而若「甲」则（若「乙」则「阳」否则（「阴」））否则「阴」也。

「： 注 or。 ：」
「或者」乃化「爻」而化「爻」而「爻」也。
「或者」者会「甲」而会「乙」而 若「甲」则「阳」否则（若「乙」则「阳」否则（「阴」））也。



「爻表示」乃化「爻」而「字符串」也。
「爻表示」者会「输入」而
    若「输入」则『阳』否则『阴』也。

「爻相等」乃化「爻」而化「爻」而「爻」也。
「爻相等」者会「甲」而会「乙」而
    若「甲」则（若「乙」则「阳」否则（「阴」））否则（若「乙」则「阴」否则（「阳」））也。

yuyan · 48 行 · 2336 字节 · UTF-8

寻观「标准库」之「语言核心」之「内建类型」之书。

寻观「标准库」之「数据结构」之「爻术」之书。

「等」乃化「整数」而化「整数」而「爻」也。
「等」者「《《内建函数：整数：相等》》」也。
「整数相等」者「等」也。
「等于」者「等」也。
「大于」乃化「整数」而化「整数」而「爻」也。
「大于」者「《《内建函数：整数：大于》》」也。


「不等于」乃化「整数」而化「整数」而「爻」也。
「不等于」者会「甲」而会「乙」而「非」于（「等」于「甲」于「乙」）也。

「小于」乃化「整数」而化「整数」而「爻」也。
「小于」者会「甲」而会「乙」而
    「且」于（「非」于（「大于」于「甲」于「乙」））于（「非」于（「等」于「甲」于「乙」））也。

「加」乃化「整数」而化「整数」而「整数」也。
「加」者会「甲」而会「乙」而《《C调用》》名『豫言_整数加』传「甲」与「乙」也。

「乘」乃化「整数」而化「整数」而「整数」也。
「乘」者会「甲」而会「乙」而《《C调用》》名『豫言_整数乘』传「甲」与「乙」也。

「除以」乃化「整数」而化「整数」而「整数」也。
「除以」者会「甲」而会「乙」而《《C调用》》名『豫言_整数除』传「甲」与「乙」也。

「表示」乃化「整数」而「字符串」也。
「表示」者会「甲」而《《C调用》》名『豫言_整数转字符串』传「甲」也。

「整数表示」者「表示」也。

「减」乃化「整数」而化「整数」而「整数」也。
「减」者「《《内建函数：整数：减》》」也。

「等零」乃化「整数」而「爻」也。
「等零」者会「甲」而「等」于「甲」于「零」也。


「理解整数」乃化「字符串」而「整数」也。
「理解整数」者会「甲」而《《C调用》》名『豫言_字符串转整数』传「甲」也。

「整数最大值」乃化「整数」而化「整数」而「整数」也。
「整数最大值」者会「左数」而会「右数」而
    若「小于」于「左数」于「右数」
    则「右数」
    否则「左数」也。

yuyan · 53 行 · 4687 字节 · UTF-8


寻观「标准库」之「语言核心」之「内建类型」之书。


寻观「标准库」之「数据结构」之「多态列」之书。

寻观「标准库」之「数据结构」之「可选值」之书。

寻观「标准库」之「数据结构」之「字符串术」之书。

寻观「标准库」之「数据结构」之「对子术」之书。

寻观「标准库」之「语言核心」之「异常」之书。

「通用列表查找」乃承「乙」而承「甲」而化（化「乙」而化「乙」而「爻」）而化（「列」于（「乙」合「甲」））而化「乙」而「或可有」于「甲」也。
「通用列表查找」者受「乙」而受「甲」而
    虑「自身」者（化（化「乙」而化「乙」而「爻」）而化（「列」于（「乙」合「甲」））而化「乙」而「或可有」于「甲」也
        会「等」而会「列」而会「串」而「通用列表查找」授以「乙」授以「甲」于「等」于「列」于「串」）而
    （会「等」而会「列」而会「串」而鉴「列」而
    有「罄」则（「可无」授以「甲」）
    或有「缀」于（「名」与「物」）于「列尾」则（若「等」于「名」于「串」则（「可有」于「物」）否则「自身」于「等」于「列尾」于「串」）
    ）
    也。

「列表查找」乃承「甲」而化（「列」于（「字符串」合「甲」））而化「字符串」而「或可有」于「甲」也。
「列表查找」者受「甲」而（会「列」而会「串」而鉴「列」而
    有「罄」则（「可无」授以「甲」）
    或有「缀」于（「名」与「物」）于「列尾」则（若「串相等」于「名」于「串」则（「可有」于「物」）否则「列表查找」于「列尾」于「串」））
    也。

「列表读取」乃承「甲」而化（「列」于（「字符串」合「甲」））而化「字符串」而「甲」也。
「列表读取」者受「甲」而（会「列」而会「串」而鉴「列」而
    有「罄」则「发生事故」于（「串组合并」于（（「列」【『列表读取未找到：』，「串」，『，列表：』，（「间合」于『，』于（（「态射」）于「列」于「二对子取零」））】）））
    或有「缀」于（「名」与「物」）于「列尾」则（若「串相等」于「名」于「串」则（「物」）否则「列表读取」于「列尾」于「串」））
    也。

「列表删除」乃承「甲」而化（「列」于（「字符串」合「甲」））而化「字符串」而「列」于（「字符串」合「甲」）也。
「列表删除」者受「甲」而（会「列」而会「串」而鉴「列」而
    有「罄」则「发生事故」于（「串组合并」于（（「列」【『列表删除未找到：』，「串」，『，列表：』，（「间合」于『，』于（（「态射」）于「列」于「二对子取零」））】）））
    或有「缀」于（「名」与「物」）于「列尾」则（若「串相等」于「名」于「串」则「列尾」否则「缀」于（「名」与「物」）于（「列表删除」于「列尾」于「串」）））
    也。

「列表查找二」乃承「甲」而承「乙」而化（「列」于（「字符串」合「甲」合「乙」））而化「字符串」而「或可有」于（「甲」合「乙」）也。
「列表查找二」者受「甲」而受「乙」而（会「列」而会「串」而鉴「列」而
    有「罄」则（「可无」授以（「甲」合「乙」））
    或有「缀」于（「名」与「物甲」与「物乙」）于「列尾」则（若「串相等」于「名」于「串」则（「可有」于（「物甲」与「物乙」））否则「列表查找二」于「列尾」于「串」））
    也。

「列表读取二」乃承「甲」而承「乙」而化（「列」于（「字符串」合「甲」合「乙」））而化「字符串」而「甲」合「乙」也。
「列表读取二」者受「甲」而受「乙」而（会「列」而会「串」而鉴「列」而
    有「罄」则「发生事故」于（「串组合并」于（（「列」【『列表查找二未找到：』，「串」，『，列表：』，（「间合」于『，』于（（「态射」）于「列」于「三对子取零」））】）））
    或有「缀」于（「名」与「物甲」与「物乙」）于「列尾」则（若「串相等」于「名」于「串」则（（「物甲」与「物乙」））否则「列表读取二」于「列尾」于「串」））
    也。

yuyan · 111 行 · 7339 字节 · UTF-8

寻观「标准库」之「语言核心」之「内建类型」之书。

寻观「标准库」之「数据结构」之「多态列」之书。

寻观「标准库」之「数据结构」之「可选值」之书。

寻观「标准库」之「数据结构」之「列表搜索」之书。

寻观「标准库」之「数据结构」之「字符串术」之书。
寻观「标准库」之「数据结构」之「对子术」之书。
寻观「标准库」之「语言核心」之「异常」之书。


寻观「标准库」之「语言核心」之「引用」之书。

「：最好的情况是(K, ORD K)，但目前的类型系统不支持表达这个类型，
所以KEY暂定为STRING：」
「：字典Map最好是用二叉搜索树来实现，但目前先用列表实现：」

「串典」立化「元类型」而「元类型」也。

「构造串典」立（承「甲」而化（「列」于（「字符串」合「甲」））而「串典」于「甲」）也。

「空串典」乃（承「甲」而「串典」于「甲」）也。
「空串典」者受「甲」而「构造串典」于「罄」也。

「串典态射」乃承「甲」而承「乙」而化（化「字符串」而化「甲」而「乙」）而化（「串典」于「甲」）而「列」于「乙」也。
「串典态射」者受「甲」而受「乙」而会「射」而会「典」而
    鉴「典」而
        有「构造串典」于「串值列」则（「态射」）于「串值列」于（遇「字符串」合「甲」者「串及值」而「射」于（「串及值」中「零」）于（「串及值」中「一」））也。


「串典插入」乃承「甲」而化（「串典」于「甲」）而化「字符串」而化「甲」而「串典」于「甲」也。
「串典插入」者受「甲」而会「串典」而会「键」而会「物」而
    鉴「串典」而
    有「构造串典」于「乙」则「构造串典」于（「缀」于（「字符串」合「甲」也「键」与「物」）于「乙」）也。

「串典查找」乃承「甲」而化（「串典」于「甲」）而化「字符串」而「或可有」于「甲」也。
「串典查找」者受「甲」而会「串典」而会「串」而
    鉴「串典」而
    有「构造串典」于「乙」则（「列表查找」授以「甲」）于「乙」于「串」也。

「串典所有键」乃承「甲」而化（「串典」于「甲」）而「列」于「字符串」也。
「串典所有键」者受「甲」而会「串典」而
    鉴「串典」而
    有「构造串典」于「乙」则（「态射」）于
        「乙」于（会「对子」而（「二对子取零」授以「字符串」授以「甲」）于「对子」）也。

「串典读取」乃承「甲」而化（「串典」于「甲」）而化「字符串」而「甲」也。
「串典读取」者受「甲」而会「串典」而会「串」而
    鉴「串典」而
    有「构造串典」于「乙」则（
        「尝试运行」于（会「无」而（「列表读取」授以「甲」）于「乙」于「串」）
        于（会「事故」而
         「发生事故」于（「串组合并」于（「缀」于「事故」于（「缀」于『「：换行：」串典读取失败，串典键：』于（（「列」【（「间合」于『，』于（（「串典所有键」授以「甲」）于「串典」））】）））））
        ）
    ）也。

「串典删除」乃承「甲」而化（「串典」于「甲」）而化「字符串」而（「串典」于「甲」）也。
「串典删除」者受「甲」而会「串典」而会「串」而
    鉴「串典」而
    有「构造串典」于「乙」则「构造串典」于（
        「尝试运行」于（会「无」而（「列表删除」授以「甲」）于「乙」于「串」）
        于（会「事故」而
         「发生事故」于（「串组合并」于（「缀」于「事故」于（「缀」于『「：换行：」串典删除失败，串典键：』于（（「列」【（「间合」于『，』于（（「串典所有键」授以「甲」）于「串典」））】）））））
        ）
        ）也。

「存在键」乃承「甲」而化（「串典」于「甲」）而化「字符串」而「爻」也。
「存在键」者受「甲」而会「串典」而会「串」而
    鉴（（「串典查找」授以「甲」）于「串典」于「串」）而
        有（「可有」于「物」）则「阳」
        或有「可无」则「阴」也。

「串典删除如果存在」乃承「甲」而化（「串典」于「甲」）而化「字符串」而（「串典」于「甲」）也。
「串典删除如果存在」者受「甲」而会「串典」而会「串」而
    若（（「存在键」授以「甲」）于「串典」于「串」）
    则（（「串典删除」授以「甲」）于「串典」于「串」）
    否则（「串典」）也。

「：TODO：要做：操作将报错如果键未找到：」
「串典操作」乃承「甲」而化（「串典」于「甲」）而化「字符串」而化（化「甲」而「甲」）而「串典」于「甲」也。
「串典操作」者受「甲」而会「串典」而会「键」而会「操作」而
    鉴「串典」而
    有「构造串典」于「乙」则
        「构造串典」于（（「态射」）
                于「乙」于（遇「字符串」合「甲」者「串物」而
            若「串相等」于（「串物」中「零」）于「键」
                则（「串物」中「零」与（「操作」于（「串物」中「一」）））
                否则「串物」
        ））
    也。

「串典引用操作」乃承「甲」而化「引用类」于（「串典」于「甲」）而化「字符串」而化（化「甲」而「甲」）而「有」也。
「串典引用操作」者受「甲」而会「串典引用」而会「键」而会「操作」而
    （「写引用」授以（「串典」于「甲」））于「串典引用」于（（「串典操作」授以「甲」）于（（「读引用」授以（「串典」于「甲」））于「串典引用」）于「键」于「操作」）
    也。


「：如存在则更新，不存在则插入：」
「串典更新」乃承「甲」而化（「串典」于「甲」）而化「字符串」而化「甲」而「串典」于「甲」也。
「串典更新」者受「甲」而会「串典」而会「键」而会「物」而
        若（「存在键」授以「甲」）于「串典」于「键」
        则（（「串典操作」授以「甲」）于「串典」于「键」于（会「旧物」而「物」））
        否则（（「串典插入」授以「甲」）于「串典」于「键」于「物」）
    也。

「串典引用更新」乃承「甲」而化「引用类」于（「串典」于「甲」）而化「字符串」而化「甲」而「有」也。
「串典引用更新」者受「甲」而会「串典引用」而会「键」而会「物」而
    （「写引用」授以（「串典」于「甲」））于「串典引用」于（（「串典更新」授以「甲」）于（（「读引用」授以（「串典」于「甲」））于「串典引用」）于「键」于「物」）
    也。

yuyan · 28 行 · 1573 字节 · UTF-8

寻「标准库」之「数据结构」之「多态列」之书。
「多态列」者「多态列」也。
寻「标准库」之「数据结构」之「多态列工具」之书。
「多态列工具」者「多态列工具」也。
寻「标准库」之「数据结构」之「爻术」之书。
「爻术」者「爻术」也。
寻「标准库」之「数据结构」之「字符串术」之书。
「字符串术」者「字符串术」也。
寻「标准库」之「数据结构」之「字符流术」之书。
「字符流术」者「字符流术」也。
寻「标准库」之「数据结构」之「整数操作」之书。
「整数操作」者「整数操作」也。
寻「标准库」之「数据结构」之「特殊字符」之书。
「特殊字符」者「特殊字符」也。
寻诵「标准库」之「数据结构」之「对子术」之书。
「对子术」者「对子术」也。
寻「标准库」之「数据结构」之「字典术」之书。
「字典术」者「字典术」也。
寻「标准库」之「数据结构」之「可选值」之书。
「可选值」者「可选值」也。
寻「标准库」之「数据结构」之「小数操作」之书。
「小数操作」者「小数操作」也。
寻「标准库」之「数据结构」之「列表搜索」之书。
「列表搜索」者「列表搜索」也。
寻「标准库」之「数据结构」之「函数操作」之书。
「函数操作」者「函数操作」也。
寻「标准库」之「数据结构」之「字节串」之书。
「字节串」者「字节串」也。

yuyan · 17 行 · 898 字节 · UTF-8

「：所有的库都会导入这个内核：」




寻诵「标准库」之「语言核心」之「内建类型」之书 。
寻诵「标准库」之「语言核心」之「引用」之书。
寻诵「标准库」之「语言核心」之「异常」之书。
寻诵「标准库」之「数据结构」之「多态列」之书 。
寻诵「标准库」之「数据结构」之「多态列工具」之书 。
寻诵「标准库」之「数据结构」之「字符串术」之书 。
寻诵「标准库」之「数据结构」之「爻术」之书 。
寻诵「标准库」之「数据结构」之「整数操作」之书 。
寻诵「标准库」之「数据结构」之「可选值」之书。
寻诵「标准库」之「数据结构」之「字典术」之书。
寻诵「标准库」之「控制」之「惰性求值」之书。
寻诵「标准库」之「输入输出」之「笔」之书 。

yuyan · 7 行 · 524 字节 · UTF-8

「名称」者『标准库』也。
「所有者」者『豫言』也。
「版本」者『0.1.0』也。
「类型」者「典」【「种类」者『库』也，】也。
「简介」者『提供豫言语言核心、数据结构及操作系统接口。』也。
「说明」者「典」【「汉语」者『包说明.汉语.md』也，「文言」者『包说明.文言.md』也，】也。
「：文言：包以文件为名，所依明列。汉语：声明直接依赖，模块使用包名和包内路径导入。：」

yuyan · 260 行 · 18044 字节 · UTF-8

寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「爻术」之书。
寻观「标准库」之「数据结构」之「字符串术」之书。
寻观「标准库」之「数据结构」之「多态列」之书。
寻观「标准库」之「数据结构」之「多态列工具」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「标准库」之「数据结构」之「特殊字符」之书。
寻观「标准库」之「网络」之「传输控制协议」之书。


「：第一版提供明文超文本传输协议一点一版客户端。
连接固定在一次响应后关闭；传输层安全协议、分块传输编码与自动重定向留待后续模块实现。
协议线上规定的请求方法、标头名和版本标记仍必须采用其标准拼写。：」

「标头」即「字符串」合「字符串」也。

「网址信息」即
    「字符串」「：主机：」合
    「整数」「：端口：」合
    「字符串」「：请求目标：」
也。

「响应」即
    「整数」「：状态码：」合
    「字符串」「：原因短语：」合
    （「列」于「标头」）合
    「字符串」「：响应正文：」
也。


「中止为」乃承「甲」而化「字符串」而「甲」也。
「中止为」者受「甲」而会「消息」而（「甲」也（「发生事故」于「消息」））也。

「含换行吗」乃化「字符串」而「爻」也。
「含换行吗」者会「内容」而
    「或者」于（「是子字符串吗」于「回车」于「内容」）于（「是子字符串吗」于「新行」于「内容」）
也。

「按字符串分隔」乃化「字符串」而化「字符串」而（「列」于「字符串」）也。
「按字符串分隔」者会「分隔符」而会「内容」而
    若「字符串相等吗」于「分隔符」于『』
    则「中止为」授以（「列」于「字符串」）于『分隔符不可为空』
    否则（鉴「串从左搜索单个」于「分隔符」于「内容」而
        有「可无」则（「列」【「内容」】）
        或有（「可有」于「序数」）则
            虑「分隔符长度」者「串长度」于「分隔符」而
            虑「前部」者「获取子字符串」于「零」于「序数」于「内容」而
            虑「后部」者「获取子字符串」于（「加」于「序数」于「分隔符长度」）于（「串长度」于「内容」）于「内容」而
            「缀」于「前部」于（「按字符串分隔」于「分隔符」于「后部」））
也。

「去除开头空白」乃化「字符串」而「字符串」也。
「去除开头空白」者会「内容」而
    若「或者」于（「串开头是它吗」于『 』于「内容」）于（「串开头是它吗」于「制表」于「内容」）
    则「去除开头空白」于（「获取子字符串」于「一」于（「串长度」于「内容」）于「内容」）
    否则「内容」
也。

「解析标头行」乃化「字符串」而「标头」也。
「解析标头行」者会「标头行」而
    鉴「串从左搜索单个」于『:』于「标头行」而
        有「可无」则「中止为」授以「标头」于（『无效响应标头：』附「标头行」）
        或有（「可有」于「冒号序数」）则
            虑「名称」者「获取子字符串」于「零」于「冒号序数」于「标头行」而
            虑「值」者「去除开头空白」于（「获取子字符串」于（「加」于「冒号序数」于「一」）于（「串长度」于「标头行」）于「标头行」）而
            「名称」与「值」
也。

「解析标头行们」乃化（「列」于「字符串」）而（「列」于「标头」）也。
「解析标头行们」者会「行们」而
    鉴「行们」而
        有「罄」则「罄」
        或有（「缀」于「行」于「余行」）则「缀」于（「解析标头行」于「行」）于（「解析标头行们」于「余行」）
也。

「解析状态行」乃化「字符串」而（「整数」合「字符串」）也。
「解析状态行」者会「状态行」而
    若「非」于（「串开头是它吗」于『HTTP/』于「状态行」）
    则「中止为」授以（「整数」合「字符串」）于『响应状态行缺少协议版本』
    否则（鉴「串从左搜索单个」于『 』于「状态行」而
        有「可无」则「中止为」授以（「整数」合「字符串」）于『响应状态行缺少状态码』
        或有（「可有」于「首空格」）则
            虑「状态及短语」者「获取子字符串」于（「加」于「首空格」于「一」）于（「串长度」于「状态行」）于「状态行」而
            鉴「串从左搜索单个」于『 』于「状态及短语」而
                有「可无」则「中止为」授以（「整数」合「字符串」）于『响应状态行缺少原因短语』
                或有（「可有」于「次空格」）则
                    虑「状态码」者「理解整数」于（「获取子字符串」于「零」于「次空格」于「状态及短语」）而
                    虑「无」者若「且」于（「大于」于「状态码」于「九九」）于（「小于」于「状态码」于「六零零」）
                        则「元」
                        否则「发生事故」于『响应状态码超出范围』
                    而「状态码」与（「获取子字符串」于（「加」于「次空格」于「一」）于（「串长度」于「状态及短语」）于「状态及短语」））
也。

「解析响应」乃化「字符串」而「响应」也。
「解析响应」者会「原始响应」而
    虑「头尾分隔」者「回车换行」附「回车换行」而
    鉴「串从左搜索单个」于「头尾分隔」于「原始响应」而
        有「可无」则「中止为」授以「响应」于『响应中没有标头结束标记』
        或有（「可有」于「头尾序数」）则
            虑「头部」者「获取子字符串」于「零」于「头尾序数」于「原始响应」而
            虑「正文」者「获取子字符串」于（「加」于「头尾序数」于（「串长度」于「头尾分隔」））于（「串长度」于「原始响应」）于「原始响应」而
            鉴「按字符串分隔」于「回车换行」于「头部」而
                有「罄」则「中止为」授以「响应」于『响应头部为空』
                或有（「缀」于「状态行」于「标头行们」）则
                    虑「状态」者「解析状态行」于「状态行」而
                    （「状态」中「零」）与（「状态」中「一」）与（「解析标头行们」于「标头行们」）与「正文」
也。


「编制标头」乃化「标头」而「字符串」也。
「编制标头」者会「标头值」而
    虑「名称」者「标头值」中「零」而
    虑「值」者「标头值」中「一」而
    虑「无」者若「或者」于（「含换行吗」于「名称」）于（「含换行吗」于「值」）
        则「发生事故」于『标头中不可含有换行符』
        否则「元」
    而虑「无」者若「是子字符串吗」于『:』于「名称」
        则「发生事故」于『标头名称中不可含有冒号』
        否则「元」
    而「名称」附『: 』附「值」附「回车换行」
也。

「编制标头们」乃化（「列」于「标头」）而「字符串」也。
「编制标头们」者会「标头们」而
    鉴「标头们」而
        有「罄」则『』
        或有（「缀」于「当前标头」于「余下标头」）则（「编制标头」于「当前标头」）附（「编制标头们」于「余下标头」）
也。

「主机标头值」乃化「字符串」而化「整数」而「字符串」也。
「主机标头值」者会「主机」而会「端口」而
    若「等于」于「端口」于「八零」则「主机」否则「主机」附『:』附（「整数表示」于「端口」）
也。

「编制请求」乃化「字符串」而化「字符串」而化「整数」而化「字符串」而化（「列」于「标头」）而化「字符串」而「字符串」也。
「编制请求」者会「方法」而会「主机」而会「端口」而会「目标」而会「标头们」而会「正文」而
    虑「无」者若「或者」于（「含换行吗」于「方法」）于（「含换行吗」于「主机」）
        则「发生事故」于『请求方法和主机中不可含有换行符』
        否则「元」
    而虑「无」者若「含换行吗」于「目标」
        则「发生事故」于『请求目标中不可含有换行符』
        否则「元」
    而「方法」附『 』附「目标」附『 HTTP/1.1』附「回车换行」
        附（「编制标头」于（『Host』与（「主机标头值」于「主机」于「端口」）））
        附（「编制标头」于（『Connection』与『close』））
        附（「编制标头」于（『Content-Length』与（「整数表示」于（「字节长度」于「正文」））））
        附（「编制标头们」于「标头们」）
        附「回车换行」
        附「正文」
也。


「确认有事件」乃化（「操作结果」于「整数」）而「有」也。
「确认有事件」者会「结果」而
    鉴「结果」而
        有「操作成功」于「事件」则若「等于」于「事件」于「零」则「发生事故」于『网络操作超时』否则「元」
        或有「暂需等待」于「事件」则「发生事故」于『等待事件时意外要求再次等待』
        或有「连接已关闭」则「发生事故」于『等待事件时连接已经关闭』
        或有「操作失败」于「状态」则「发生事故」于（『等待网络事件失败：』附（「错误消息」于「状态」））
也。

「等待连接完成」乃化「传输连接」而化「整数」而「传输连接」也。
「等待连接完成」者会「连接值」而会「超时毫秒数」而
    虑「无」者「确认有事件」于（「等待可写」于「连接值」于「超时毫秒数」）而
    鉴「完成连接」于「连接值」而
        有「操作成功」于「完成值」则「完成值」
        或有「暂需等待」于「完成值」则「等待连接完成」于「完成值」于「超时毫秒数」
        或有「连接已关闭」则「中止为」授以「传输连接」于『连接建立期间被关闭』
        或有「操作失败」于「状态」则「中止为」授以「传输连接」于（『完成连接失败：』附（「错误消息」于「状态」））
也。

「建立连接」乃化「字符串」而化「整数」而化「整数」而「传输连接」也。
「建立连接」者会「主机」而会「端口」而会「超时毫秒数」而
    鉴「开始连接」于「主机」于「端口」而
        有「操作成功」于「连接值」则「连接值」
        或有「暂需等待」于「连接值」则「等待连接完成」于「连接值」于「超时毫秒数」
        或有「连接已关闭」则「中止为」授以「传输连接」于『连接建立期间被关闭』
        或有「操作失败」于「状态」则「中止为」授以「传输连接」于（『开始连接失败：』附（「错误消息」于「状态」））
也。

「写完整」乃化「传输连接」而化「字符串」而化「整数」而「有」也。
「写完整」者会「连接值」而会「内容」而会「超时毫秒数」而
    递归虑「继续写」其化「整数」而「有」者会「位置」而
        若「等于」于「位置」于（「字节长度」于「内容」）则「元」
        否则（鉴「从字节序数写入」于「连接值」于「内容」于「位置」而
            有「操作成功」于「写入数」则
                若「大于」于「写入数」于「零」
                则「继续写」于（「加」于「位置」于「写入数」）
                否则「发生事故」于『写入没有取得进展』
            或有「暂需等待」于「写入数」则（
                虑「无」者「确认有事件」于（「等待可写」于「连接值」于「超时毫秒数」）而
                「继续写」于「位置」）
            或有「连接已关闭」则「发生事故」于『写入期间连接被关闭』
            或有「操作失败」于「状态」则「发生事故」于（『写入失败：』附（「错误消息」于「状态」）））
    而「继续写」于「零」
也。

「读取完整」乃化「传输连接」而化「整数」而「字符串」也。
「读取完整」者会「连接值」而会「超时毫秒数」而
    递归虑「继续读」其化「字符串」而「字符串」者会「已有」而
        鉴「读取」于「连接值」于「四零九六」而
            有「操作成功」于「新内容」则「继续读」于（「已有」附「新内容」）
            或有「暂需等待」于「新内容」则（
                虑「无」者「确认有事件」于（「等待可读」于「连接值」于「超时毫秒数」）而
                「继续读」于「已有」）
            或有「连接已关闭」则「已有」
            或有「操作失败」于「状态」则「中止为」授以「字符串」于（『读取失败：』附（「错误消息」于「状态」））
    而「继续读」于『』
也。


「发送请求」乃化「字符串」而化「字符串」而化「整数」而化「字符串」而化（「列」于「标头」）而化「字符串」而化「整数」而「响应」也。
「发送请求」者会「方法」而会「主机」而会「端口」而会「目标」而会「标头们」而会「正文」而会「超时毫秒数」而
    虑「请求文字」者「编制请求」于「方法」于「主机」于「端口」于「目标」于「标头们」于「正文」而
    虑「连接值」者「建立连接」于「主机」于「端口」于「超时毫秒数」而
    虑「无」者「写完整」于「连接值」于「请求文字」于「超时毫秒数」而
    虑「响应文字」者「读取完整」于「连接值」于「超时毫秒数」而
    虑「无」者「关闭」于「连接值」而
    「解析响应」于「响应文字」
也。


「解析明文网址」乃化「字符串」而「网址信息」也。
「解析明文网址」者会「网址」而
    若「非」于（「串开头是它吗」于『http://』于「网址」）
    则「中止为」授以「网址信息」于『目前只支持以 http:// 开头的明文网址』
    否则
        虑「去除方案后」者「去除串开头」于『http://』于「网址」而
        虑「主机端口及目标」者鉴「串从左搜索单个」于『/』于「去除方案后」而
            有「可无」则「去除方案后」与『/』
            或有（「可有」于「斜线序数」）则
                （「获取子字符串」于「零」于「斜线序数」于「去除方案后」）与
                （「获取子字符串」于「斜线序数」于（「串长度」于「去除方案后」）于「去除方案后」）
        而虑「主机端口」者「主机端口及目标」中「零」而
        虑「目标」者「主机端口及目标」中「一」而
        虑「无」者若「字符串相等吗」于「主机端口」于『』则「发生事故」于『网址缺少主机』否则「元」而
        鉴「串从右搜索单个」于『:』于「主机端口」而
            有「可无」则「主机端口」与「八零」与「目标」
            或有（「可有」于「冒号序数」）则
                虑「主机」者「获取子字符串」于「零」于「冒号序数」于「主机端口」而
                虑「端口」者「理解整数」于（「获取子字符串」于（「加」于「冒号序数」于「一」）于（「串长度」于「主机端口」）于「主机端口」）而
                虑「无」者若「且」于（「大于」于「端口」于「零」）于（「小于」于「端口」于「六五五三六」）
                    则「元」
                    否则「发生事故」于『网址端口超出范围』
                而「主机」与「端口」与「目标」
也。

「请求网址」乃化「字符串」而化「字符串」而化（「列」于「标头」）而化「字符串」而化「整数」而「响应」也。
「请求网址」者会「方法」而会「网址」而会「标头们」而会「正文」而会「超时毫秒数」而
    虑「信息」者「解析明文网址」于「网址」而
    「发送请求」于「方法」于（「信息」中「零」）于（「信息」中「一」）于（「信息」中「二」）于「标头们」于「正文」于「超时毫秒数」
也。

「获取」乃化「字符串」而「响应」也。
「获取」者会「网址」而「请求网址」于『GET』于「网址」于「罄」于『』于「三零零零零」也。

「提交」乃化「字符串」而化「字符串」而「响应」也。
「提交」者会「网址」而会「正文」而「请求网址」于『POST』于「网址」于「罄」于「正文」于「三零零零零」也。

yuyan · 170 行 · 9990 字节 · UTF-8

寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数学运算」之「数组转换」之书。

「：非阻塞的可靠字节流传输接口。：」


「传输连接」即「整数」也。

「操作结果」立化「元类型」而「元类型」也。
「操作成功」立（承「甲」而化「甲」而「操作结果」于「甲」）也。
「暂需等待」立（承「甲」而化「甲」而「操作结果」于「甲」）也。
「连接已关闭」立承「甲」而「操作结果」于「甲」也。
「操作失败」立（承「甲」而化「整数」而「操作结果」于「甲」）也。

「关注可读」者「一」也。
「关注可写」者「二」也。
「关注可读写」者「三」也。

「事件可读」者「一」也。
「事件可写」者「二」也。
「事件错误」者「四」也。
「事件挂断」者「八」也。

「事件包含」乃化「整数」而化「整数」而「爻」也。
「事件包含」者会「事件们」而会「待查事件」而
    「不等于」于
        （「减」于
            （「除以」于「事件们」于「待查事件」）
            于（「乘」于（「除以」于「事件们」于（「乘」于「待查事件」于「二」））于「二」））
        于「零」
也。

「事件可读吗」乃化「整数」而「爻」也。
「事件可读吗」者会「事件们」而「事件包含」于「事件们」于「事件可读」也。

「事件可写吗」乃化「整数」而「爻」也。
「事件可写吗」者会「事件们」而「事件包含」于「事件们」于「事件可写」也。

「事件错误吗」乃化「整数」而「爻」也。
「事件错误吗」者会「事件们」而「事件包含」于「事件们」于「事件错误」也。

「事件挂断吗」乃化「整数」而「爻」也。
「事件挂断吗」者会「事件们」而「事件包含」于「事件们」于「事件挂断」也。


「转换操作结果」乃承「甲」而化（「整数」合「甲」）而（「操作结果」于「甲」）也。
「转换操作结果」者受「甲」而会「原始结果」而
    虑「状态」者「原始结果」中「零」而
    虑「值」者「原始结果」中「一」而
    若「等于」于「状态」于「零」
    则（「操作成功」于「值」）
    否则（若「等于」于「状态」于「一」
        则（「暂需等待」于「值」）
        否则（若「等于」于「状态」于「二」
            则（「连接已关闭」授以「甲」）
            否则（（「操作失败」授以「甲」）于「状态」）））
也。


「监听」乃化「字符串」而化「整数」而化「整数」而（「操作结果」于「传输连接」）也。
「监听」者会「地址」而会「端口」而会「等待队列长度」而
    「转换操作结果」授以「整数」于
        （「数组转换」之「数组转对子」授以「整数」授以「整数」于
            （《《C调用》》名『豫言_传输控制协议_监听』传「地址」与「端口」与「等待队列长度」））
也。

「开始连接」乃化「字符串」而化「整数」而（「操作结果」于「传输连接」）也。
「开始连接」者会「主机」而会「端口」而
    「转换操作结果」授以「整数」于
        （「数组转换」之「数组转对子」授以「整数」授以「整数」于
            （《《C调用》》名『豫言_传输控制协议_开始连接』传「主机」与「端口」））
也。

「完成连接」乃化「传输连接」而（「操作结果」于「传输连接」）也。
「完成连接」者会「连接值」而
    「转换操作结果」授以「整数」于
        （「数组转换」之「数组转对子」授以「整数」授以「整数」于
            （《《C调用》》名『豫言_传输控制协议_完成连接』传「连接值」））
也。

「接受」乃化「传输连接」而（「操作结果」于「传输连接」）也。
「接受」者会「监听套接字」而
    「转换操作结果」授以「整数」于
        （「数组转换」之「数组转对子」授以「整数」授以「整数」于
            （《《C调用》》名『豫言_传输控制协议_接受』传「监听套接字」））
也。

「读取」乃化「传输连接」而化「整数」而（「操作结果」于「字符串」）也。
「读取」者会「连接值」而会「最大字节数」而
    「转换操作结果」授以「字符串」于
        （「数组转换」之「数组转对子」授以「整数」授以「字符串」于
            （《《C调用》》名『豫言_传输控制协议_读取』传「连接值」与「最大字节数」））
也。

「读取字节串」乃化「传输连接」而化「整数」而（「操作结果」于「字节串」）也。
「读取字节串」者会「连接值」而会「最大字节数」而
    「转换操作结果」授以「字节串」于
        （「数组转换」之「数组转对子」授以「整数」授以「字节串」于
            （《《C调用》》名『豫言_传输控制协议_读取字节串』传「连接值」与「最大字节数」））
也。

「从字节序数写入」乃化「传输连接」而化「字符串」而化「整数」而（「操作结果」于「整数」）也。
「从字节序数写入」者会「连接值」而会「内容」而会「起始字节序数」而
    「转换操作结果」授以「整数」于
        （「数组转换」之「数组转对子」授以「整数」授以「整数」于
            （《《C调用》》名『豫言_传输控制协议_从字节序数写入』传「连接值」与「内容」与「起始字节序数」））
也。

「写入」乃化「传输连接」而化「字符串」而（「操作结果」于「整数」）也。
「写入」者会「连接值」而会「内容」而「从字节序数写入」于「连接值」于「内容」于「零」也。

「从字节序数写入字节串」乃化「传输连接」而化「字节串」而化「整数」而（「操作结果」于「整数」）也。
「从字节序数写入字节串」者会「连接值」而会「内容」而会「起始字节序数」而
    「转换操作结果」授以「整数」于
        （「数组转换」之「数组转对子」授以「整数」授以「整数」于
            （《《C调用》》名『豫言_传输控制协议_从字节序数写入字节串』传「连接值」与「内容」与「起始字节序数」））
也。

「写入字节串」乃化「传输连接」而化「字节串」而（「操作结果」于「整数」）也。
「写入字节串」者会「连接值」而会「内容」而「从字节序数写入字节串」于「连接值」于「内容」于「零」也。

「等待」乃化「传输连接」而化「整数」而化「整数」而（「操作结果」于「整数」）也。
「等待」者会「连接值」而会「关注事件」而会「超时毫秒数」而
    「转换操作结果」授以「整数」于
        （「数组转换」之「数组转对子」授以「整数」授以「整数」于
            （《《C调用》》名『豫言_传输控制协议_等待』传「连接值」与「关注事件」与「超时毫秒数」））
也。

「等待可读」乃化「传输连接」而化「整数」而（「操作结果」于「整数」）也。
「等待可读」者会「连接值」而会「超时毫秒数」而
    「等待」于「连接值」于「关注可读」于「超时毫秒数」
也。

「等待可写」乃化「传输连接」而化「整数」而（「操作结果」于「整数」）也。
「等待可写」者会「连接值」而会「超时毫秒数」而
    「等待」于「连接值」于「关注可写」于「超时毫秒数」
也。

「获取本地端口」乃化「传输连接」而（「操作结果」于「整数」）也。
「获取本地端口」者会「连接值」而
    「转换操作结果」授以「整数」于
        （「数组转换」之「数组转对子」授以「整数」授以「整数」于
            （《《C调用》》名『豫言_传输控制协议_获取本地端口』传「连接值」））
也。

「设置无延迟」乃化「传输连接」而化「爻」而（「操作结果」于「有」）也。
「设置无延迟」者会「连接值」而会「是否启用」而
    「转换操作结果」授以「有」于
        （「数组转换」之「数组转对子」授以「整数」授以「有」于
            （《《C调用》》名『豫言_传输控制协议_设置无延迟』传「连接值」与「是否启用」））
也。

「关闭写入」乃化「传输连接」而（「操作结果」于「有」）也。
「关闭写入」者会「连接值」而
    「转换操作结果」授以「有」于
        （「数组转换」之「数组转对子」授以「整数」授以「有」于
            （《《C调用》》名『豫言_传输控制协议_关闭写入』传「连接值」））
也。

「关闭」乃化「传输连接」而（「操作结果」于「有」）也。
「关闭」者会「连接值」而
    「转换操作结果」授以「有」于
        （「数组转换」之「数组转对子」授以「整数」授以「有」于
            （《《C调用》》名『豫言_传输控制协议_关闭』传「连接值」））
也。

「错误消息」乃化「整数」而「字符串」也。
「错误消息」者会「状态」而《《C调用》》名『豫言_传输控制协议_错误消息』传「状态」也。

yuyan · 95 行 · 6377 字节 · UTF-8

寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「引用」之书。
寻观「标准库」之「控制」之「异步」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「网络」之「传输控制协议」之书。

「：详细使用方法见标准库/控制目录下的《异步使用说明.汉语.md》文件。：」


「操作结果转异步步骤」乃承「甲」而
    化「传输连接」而化「整数」而化（「操作结果」于「甲」）而
    （「异步步骤」于（「操作结果」于「甲」））
也。
「操作结果转异步步骤」者受「甲」而会「连接值」而会「关注事件」而会「结果」而
    鉴「结果」而
    有（「操作成功」于「值」）则「异步步骤完成」于（「操作成功」于「值」）
    或有（「暂需等待」于「值」）则
        （「异步步骤等待输入输出」授以（「操作结果」于「甲」））于「连接值」于「关注事件」
    或有「连接已关闭」则
        「异步步骤完成」于（「连接已关闭」授以「甲」）
    或有（「操作失败」于「状态」）则
        「异步步骤完成」于（（「操作失败」授以「甲」）于「状态」）
也。


「异步连接状态」立「元类型」也。
「尚未开始连接」立「异步连接状态」也。
「正在建立连接」立化「传输连接」而「异步连接状态」也。

「异步开始连接」乃化「字符串」而化「整数」而（「异步任务」于（「操作结果」于「传输连接」））也。
「异步开始连接」者会「主机」而会「端口」而
    虑「状态引用」者「新引用」于「尚未开始连接」而
    「派生可等待」授以（「操作结果」于「传输连接」）于（会「无」而
        鉴「读引用」于「状态引用」而
        有「尚未开始连接」则（
            鉴「开始连接」于「主机」于「端口」而
            有（「暂需等待」于「连接值」）则（
                虑「无」者「写引用」于「状态引用」于（「正在建立连接」于「连接值」）而
                （「异步步骤等待输入输出」授以（「操作结果」于「传输连接」））于「连接值」于「关注可写」）
            或有（「操作成功」于「连接值」）则「异步步骤完成」于（「操作成功」于「连接值」）
            或有「连接已关闭」则「异步步骤完成」于（「连接已关闭」授以「传输连接」）
            或有（「操作失败」于「错误状态」）则
                「异步步骤完成」于（（「操作失败」授以「传输连接」）于「错误状态」））
        或有（「正在建立连接」于「连接值」）则
            「操作结果转异步步骤」授以「传输连接」于「连接值」于「关注可写」于（「完成连接」于「连接值」）
    ）
也。

「异步接受」乃化「传输连接」而（「异步任务」于（「操作结果」于「传输连接」））也。
「异步接受」者会「监听套接字」而
    「派生可等待」授以（「操作结果」于「传输连接」）于（会「无」而
        「操作结果转异步步骤」授以「传输连接」于「监听套接字」于「关注可读」于（「接受」于「监听套接字」））
也。

「异步读取」乃化「传输连接」而化「整数」而（「异步任务」于（「操作结果」于「字符串」））也。
「异步读取」者会「连接值」而会「最大字节数」而
    「派生可等待」授以（「操作结果」于「字符串」）于（会「无」而
        「操作结果转异步步骤」授以「字符串」于「连接值」于「关注可读」于（「读取」于「连接值」于「最大字节数」））
也。

「异步读取字节串」乃化「传输连接」而化「整数」而（「异步任务」于（「操作结果」于「字节串」））也。
「异步读取字节串」者会「连接值」而会「最大字节数」而
    「派生可等待」授以（「操作结果」于「字节串」）于（会「无」而
        「操作结果转异步步骤」授以「字节串」于「连接值」于「关注可读」于（「读取字节串」于「连接值」于「最大字节数」））
也。

「异步从字节序数写入」乃
    化「传输连接」而化「字符串」而化「整数」而
    （「异步任务」于（「操作结果」于「整数」））
也。
「异步从字节序数写入」者会「连接值」而会「内容」而会「起始字节序数」而
    「派生可等待」授以（「操作结果」于「整数」）于（会「无」而
        「操作结果转异步步骤」授以「整数」于「连接值」于「关注可写」于
            （「从字节序数写入」于「连接值」于「内容」于「起始字节序数」））
也。

「异步写入」乃化「传输连接」而化「字符串」而（「异步任务」于（「操作结果」于「整数」））也。
「异步写入」者会「连接值」而会「内容」而
    「异步从字节序数写入」于「连接值」于「内容」于「零」
也。

「异步从字节序数写入字节串」乃
    化「传输连接」而化「字节串」而化「整数」而
    （「异步任务」于（「操作结果」于「整数」））
也。
「异步从字节序数写入字节串」者会「连接值」而会「内容」而会「起始字节序数」而
    「派生可等待」授以（「操作结果」于「整数」）于（会「无」而
        「操作结果转异步步骤」授以「整数」于「连接值」于「关注可写」于
            （「从字节序数写入字节串」于「连接值」于「内容」于「起始字节序数」））
也。

「异步写入字节串」乃化「传输连接」而化「字节串」而（「异步任务」于（「操作结果」于「整数」））也。
「异步写入字节串」者会「连接值」而会「内容」而
    「异步从字节序数写入字节串」于「连接值」于「内容」于「零」
也。

yuyan · 5 行 · 209 字节 · UTF-8


寻观「标准库」之「语言核心」之「内建类型」之书。

「行」乃承「甲」而化（化「有」而「甲」）而「甲」也。
「行」者会「乙」而「乙」于「元」也。

yuyan · 1 行 · 0 字节 · UTF-8

yuyan · 231 行 · 13628 字节 · UTF-8

寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「引用」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「数据结构」之「多态列」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数学运算」之「数组转换」之书。

「：
    单线程协作式异步任务。

    派生只把任务加入调度队列；等待和让出负责推进队列。这样任务可在
    不引入原生线程及共享堆并发访问的前提下交错执行。

    详细使用方法见同目录下的《异步使用说明.汉语.md》文件。
：」

「异步任务状态」立化「元类型」而「元类型」也。
「任务待运行」立承「甲」而「异步任务状态」于「甲」也。
「任务运行中」立承「甲」而「异步任务状态」于「甲」也。
「任务成功」立（承「甲」而化「甲」而「异步任务状态」于「甲」）也。
「任务失败」立（承「甲」而化「字符串」而「异步任务状态」于「甲」）也。

「异步任务」立化「元类型」而「元类型」也。
「构造异步任务」立（承「甲」而化（「引用类」于（「异步任务状态」于「甲」））而「异步任务」于「甲」）也。

「异步步骤」立化「元类型」而「元类型」也。
「异步步骤完成」立（承「甲」而化「甲」而「异步步骤」于「甲」）也。
「异步步骤等待输入输出」立（承「甲」而化「整数」而化「整数」而「异步步骤」于「甲」）也。


「待调度任务」即化「有」而「有」也。

「调度队列」乃「引用类」于（（「列」于「待调度任务」）合（「列」于「待调度任务」））也。
「调度队列」者
    （「新引用」授以（（「列」于「待调度任务」）合（「列」于「待调度任务」）））于
        （「罄」与「罄」）
也。

「输入输出等待项」立「元类型」也。
「构造输入输出等待项」立化「整数」而化「整数」而化「待调度任务」而「输入输出等待项」也。

「输入输出等待项们」乃「引用类」于（「列」于「输入输出等待项」）也。
「输入输出等待项们」者
    （「新引用」授以（「列」于「输入输出等待项」））于「罄」
也。


「加入调度队列」乃化「待调度任务」而「有」也。
「加入调度队列」者会「任务」而
    鉴（「读引用」授以（（「列」于「待调度任务」）合（「列」于「待调度任务」））于「调度队列」）而
    有（「队首」与「反向队尾」）则
        「写引用」于「调度队列」于（「队首」与（「缀」于「任务」于「反向队尾」））
也。


「注册输入输出等待」乃化「整数」而化「整数」而化「待调度任务」而「有」也。
「注册输入输出等待」者会「文件描述符」而会「关注事件」而会「任务」而
    「写引用」于「输入输出等待项们」于
        （「缀」于
            （「构造输入输出等待项」于「文件描述符」于「关注事件」于「任务」）于
            （「读引用」授以（「列」于「输入输出等待项」）于「输入输出等待项们」））
也。

「输入输出关注项们」乃化（「列」于「输入输出等待项」）而（「列」于（「整数」合「整数」））也。
「输入输出关注项们」者会「等待项们」而
    鉴「等待项们」而
    有「罄」则「罄」
    或有（「缀」于（「构造输入输出等待项」于「文件描述符」于「关注事件」于「任务」）于「余下」）则
        「缀」于（「文件描述符」与「关注事件」）于（「输入输出关注项们」于「余下」）
也。

「输入输出多路等待」乃
    化（「列」于（「整数」合「整数」））而化「整数」而
    （「整数」合（「列」于「整数」））
也。
「输入输出多路等待」者会「关注项们」而会「超时毫秒数」而
    虑「关注项数组」者「多态列转数组」授以（「整数」合「整数」）于「关注项们」而
    虑「原始结果」者「数组转对子」授以「整数」授以「混合数组引用类」于
        （《《C调用》》名『豫言_异步_输入输出多路等待』传「关注项数组」与「超时毫秒数」）而
    （「原始结果」中「零」）与（「数组转多态列」授以「整数」于（「原始结果」中「一」））
也。

「处理输入输出事件」乃
    化（「列」于「输入输出等待项」）而化（「列」于「整数」）而
    （「列」于「输入输出等待项」）
也。
「处理输入输出事件」者会「等待项们」而会「事件们」而
    鉴「等待项们」与「事件们」而
    有「罄」与「罄」则「罄」
    或有
        （「缀」于（「构造输入输出等待项」于「文件描述符」于「关注事件」于「任务」）于「余等待项」）
        与（「缀」于「事件」于「余事件」）
    则（
        若「等于」于「事件」于「零」
        则「缀」于
            （「构造输入输出等待项」于「文件描述符」于「关注事件」于「任务」）于
            （「处理输入输出事件」于「余等待项」于「余事件」）
        否则（
            虑「无」者「加入调度队列」于「任务」而
            「处理输入输出事件」于「余等待项」于「余事件」））
    或有「其他」则「发生事故」于『输入输出多路等待返回了错误数量的事件』
也。

「推进输入输出」乃化「有」而「爻」也。
「推进输入输出」者会「无」而
    虑「等待项们」者「读引用」授以（「列」于「输入输出等待项」）于「输入输出等待项们」而
    鉴「等待项们」而
    有「罄」则「阴」
    或有（「缀」于「首项」于「余项」）则（
        虑「等待结果」者「输入输出多路等待」于（「输入输出关注项们」于「等待项们」）于（「减」于「零」于「一」）而
        虑「状态」者「等待结果」中「零」而
        若「等于」于「状态」于「零」
        则（
            虑「剩余等待项」者「处理输入输出事件」于「等待项们」于（「等待结果」中「一」）而
            虑「无」者「写引用」于「输入输出等待项们」于「剩余等待项」而
            「阳」）
        否则「发生事故」于（『输入输出多路等待失败，状态码：』附（「整数表示」于「状态」）））
也。

「执行下一个任务」乃化「有」而「爻」也。
「执行下一个任务」者会「无」而
    鉴（「读引用」授以（（「列」于「待调度任务」）合（「列」于「待调度任务」））于「调度队列」）而
    有（（「缀」于「任务」于「余下」）与「反向队尾」）则（
        虑「无」者「写引用」于「调度队列」于（「余下」与「反向队尾」）而
        虑「无」者「任务」于「元」而
        「阳」）
    或有（「罄」与「罄」）则（
        若「推进输入输出」于「元」
        则「执行下一个任务」于「元」
        否则「阴」）
    或有（「罄」与「反向队尾」）则（
        虑「无」者「写引用」于「调度队列」于
            （（「反转」授以「待调度任务」于「反向队尾」）与「罄」）而
        「执行下一个任务」于「元」）
也。


「派生」乃承「甲」而化（化「有」而「甲」）而（「异步任务」于「甲」）也。
「派生」者受「甲」而会「操作」而
    虑「状态引用」者
        （「新引用」授以（「异步任务状态」于「甲」）于（「任务待运行」授以「甲」））而
    虑「无」者「加入调度队列」于（会「无」而
        「尝试运行」授以「有」于
            （会「无」而
                虑「无」者「写引用」于「状态引用」于（「任务运行中」授以「甲」）而
                虑「结果」者「操作」于「元」而
                「写引用」于「状态引用」于（「任务成功」于「结果」））
            于（会「错误」而
                「写引用」于「状态引用」于（（「任务失败」授以「甲」）于「错误」））
    ）而
    「构造异步任务」于「状态引用」
也。

「派生可等待」乃承「甲」而化（化「有」而（「异步步骤」于「甲」））而（「异步任务」于「甲」）也。
「派生可等待」者受「甲」而会「操作」而
    虑「状态引用」者
        （「新引用」授以（「异步任务状态」于「甲」）于（「任务待运行」授以「甲」））而
    递归虑「尝试运行任务」其化「有」而「有」者
        会「无」而
        「尝试运行」授以「有」于
            （会「无」而
                虑「无」者「写引用」于「状态引用」于（「任务运行中」授以「甲」）而
                鉴「操作」于「元」而
                有（「异步步骤完成」于「结果」）则
                    「写引用」于「状态引用」于（「任务成功」于「结果」）
                或有（「异步步骤等待输入输出」于「文件描述符」于「关注事件」）则
                    「注册输入输出等待」于「文件描述符」于「关注事件」于「尝试运行任务」）
            于（会「错误」而
                「写引用」于「状态引用」于（（「任务失败」授以「甲」）于「错误」））
    而
    虑「无」者「加入调度队列」于「尝试运行任务」而
    「构造异步任务」于「状态引用」
也。

「立即完成」乃承「甲」而化「甲」而（「异步任务」于「甲」）也。
「立即完成」者受「甲」而会「值」而
    「构造异步任务」于
        （「新引用」授以（「异步任务状态」于「甲」）于（「任务成功」于「值」））
也。

「完成了吗」乃承「甲」而化（「异步任务」于「甲」）而「爻」也。
「完成了吗」者受「甲」而会「任务」而
    鉴「任务」而
    有（「构造异步任务」于「状态引用」）则
        （鉴（「读引用」授以（「异步任务状态」于「甲」）于「状态引用」）而
        有「任务待运行」则「阴」
        或有「任务运行中」则「阴」
        或有（「任务成功」于「值」）则「阳」
        或有（「任务失败」于「错误」）则「阳」）
也。

「等待」乃承「甲」而化（「异步任务」于「甲」）而「甲」也。
「等待」者受「甲」而会「任务」而
    鉴「任务」而
    有（「构造异步任务」于「状态引用」）则
        （鉴（「读引用」授以（「异步任务状态」于「甲」）于「状态引用」）而
        有「任务待运行」则（
            若「执行下一个任务」于「元」
            则「等待」授以「甲」于「任务」
            否则「发生事故」于『异步调度停止：任务尚未完成，但已无可运行任务』）
        或有「任务运行中」则（
            若「执行下一个任务」于「元」
            则「等待」授以「甲」于「任务」
            否则「发生事故」于『异步任务死锁：正在运行的任务等待自身或形成等待环』）
        或有（「任务成功」于「值」）则「值」
        或有（「任务失败」于「错误」）则「发生事故」于「错误」）
也。

「让出」乃化「有」而「有」也。
「让出」者会「无」而
    虑「是否执行」者「执行下一个任务」于「元」而
    「元」
也。

「：文言：限时候事，时至即还。汉语：供监视器定时刷新；不改变普通让出与等待的阻塞语义。：」
「限时让出」乃化「整数」而「有」也。
「限时让出」者会「毫秒」而
    鉴（「读引用」授以（（「列」于「待调度任务」）合（「列」于「待调度任务」））于「调度队列」）而
    有（「罄」与「罄」）则（
        虑「项们」者「读引用」授以（「列」于「输入输出等待项」）于「输入输出等待项们」而
        虑「结果」者「输入输出多路等待」于（「输入输出关注项们」于「项们」）于「毫秒」而
        若「等于」于（「结果」中「零」）于「零」则
            「写引用」于「输入输出等待项们」于（「处理输入输出事件」于「项们」于（「结果」中「一」））
        否则「发生事故」授以「有」于『限时输入输出等待失败』）
    或有「其余」则「让出」于「元」
也。

「运行」乃承「甲」而化（化「有」而「甲」）而「甲」也。
「运行」者受「甲」而会「操作」而
    「等待」授以「甲」于（「派生」授以「甲」于「操作」）
也。

yuyan · 13 行 · 629 字节 · UTF-8


寻观「标准库」之「语言核心」之「内建类型」之书。


「当前系统是微软Windows」乃化「有」而「爻」也。
「当前系统是微软Windows」者会「有」而
    《《C调用》》名『豫言_运行于Windows』传「元」也。

「当前系统是苹果MacOS」乃化「有」而「爻」也。
「当前系统是苹果MacOS」者会「有」而《《C调用》》名『豫言_运行于MacOS』传「元」也。

「当前系统是Linux」乃化「有」而「爻」也。
「当前系统是Linux」者会「有」而《《C调用》》名『豫言_运行于Linux』传「元」也。

yuyan · 5 行 · 287 字节 · UTF-8

寻观「标准库」之「语言核心」之「内建类型」之书。

「获取环境变量」乃化「字符串」而（「爻」合「字符串」）也。
「获取环境变量」者会「名称」而
    《《C调用》》名『豫言_获取环境变量』传「名称」也。

yuyan · 12 行 · 613 字节 · UTF-8


寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「数据结构」之「多态列」之书。


寻观「标准库」之「数学运算」之「数组转换」之书。

「获取程序名」乃化「有」而「字符串」也。
「获取程序名」者会「甲」而《《C调用》》名『豫言_获取命令行程序名』传「元」也。

「获取参数」乃化「有」而「列」于「字符串」也。
「获取参数」者会「甲」而「数组转多态列」于（《《C调用》》名『豫言_获取命令行参数』传「元」）也。

yuyan · 22 行 · 1468 字节 · UTF-8


寻观「标准库」之「语言核心」之「内建类型」之书。
寻「标准库」之「数据结构」之「整数操作」之书。
寻「标准库」之「数据结构」之「小数操作」之书。
寻「标准库」之「数学运算」之「转换」之书。

「获取当前纳秒时间」乃化「有」而「小数」也。
「获取当前纳秒时间」者会「甲」而《《C调用》》名『豫言_获取当前纳秒时间』传「元」也。


「用时秒数表示」乃化「小数」「：开始纳秒时间：」而化「小数」「：结束纳秒时间：」而「字符串」「：小数表示：」也。
「用时秒数表示」者会「开始」而会「结束」而
    虑「总用时纳秒数」者（「小数操作」之「减」于「结束」于「开始」）而
    虑「总用时秒数」者（「小数操作」之「乘」于（「总用时纳秒数」）于「零点零零零零零零零零一」）
    而「小数操作」之「表示」于「总用时秒数」也。


「当前日期时间格式表示」乃化「字符串」而「字符串」也。
「当前日期时间格式表示」者会「格式」而《《C调用》》名『豫言_格式化当前本地日期时间』传「格式」也。

「当前日期时间表示」乃化「有」而「字符串」也。
「当前日期时间表示」者会「无」而《《C调用》》名『豫言_获取当前本地日期时间字符串』传「元」也。

yuyan · 70 行 · 4595 字节 · UTF-8



寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「异常」之书。

寻观「标准库」之「数据结构」之「字符串术」之书。

寻观「标准库」之「数据结构」之「多态列」之书。

寻观「标准库」之「输入输出」之「笔」之书。
寻观「标准库」之「数学运算」之「数组转换」之书。

「获取输出」乃化「字符串」而化（「列」于「字符串」）而（
    「爻」「：退出状态：」合
    「字符串」「：标准输出：」合
    「字符串」「：错误输出：」
）也。
「获取输出」者会「程序名」而会「参数列」而
    虑「后参数列」者（（「多态列转数组」授以「字符串」）于「参数列」）而
    《《C调用》》名『豫言_同步运行子进程并获取输出』传「程序名」与「后参数列」也。

「运行」乃化「字符串」而化（「列」于「字符串」）而「爻」也。
「运行」者会「程序名」而会「参数列」而
    虑「后参数列」者（（「多态列转数组」授以「字符串」）于「参数列」）而
    《《C调用》》名『豫言_同步运行子进程』传「程序名」与「后参数列」也。

「运行并传递输出」乃化「字符串」而化（「列」于「字符串」）而「整数」也。
「运行并传递输出」者会「程序名」而会「参数列」而
    虑「后参数列」者（（「多态列转数组」授以「字符串」）于「参数列」）而
    《《C调用》》名『豫言_同步运行子进程并传递输出』传「程序名」与「后参数列」也。

「运行并继承标准流」乃化「字符串」而化（「列」于「字符串」）而「整数」也。
「运行并继承标准流」者会「程序名」而会「参数列」而
    虑「后参数列」者（（「多态列转数组」授以「字符串」）于「参数列」）而
    《《C调用》》名『豫言_同步运行子进程并继承标准流』传「程序名」与「后参数列」也。

「命令输出错误文字」乃化「字符串」而化「字符串」而化「字符串」而化「字符串」而化「字符串」而「字符串」也。
「命令输出错误文字」者会「前缀」而会「程序名」而会「参数文字」而会「标准输出」而会「错误输出」而
    「串组合并」于
        （「缀」于「前缀」于
        （「缀」于「程序名」于
        （「缀」于『 』于
        （「缀」于「参数文字」于
        （「缀」于『「：换行：」标准输出：』于
        （「缀」于「标准输出」于
        （「缀」于『「：换行：」错误输出：』于
        （（「列」【「错误输出」】）））））））））也。

「成功运行并打印结果」乃化「字符串」而化（「列」于「字符串」）而「爻」也。
「成功运行并打印结果」者会「程序名」而会「参数列」而
    虑「参数文字」者「间合」于『 』于「参数列」而
    （
    「标准错误打印行」于（「串组合并」于（（「列」【「程序名」，『 』，「参数文字」，『  』】）））；
    （
    虑「结果」者「获取输出」于「程序名」于「参数列」而
    （
        「标准错误打印行」于（「串组合并」于（（「列」【『标准输出：』，（「结果」中「一」）】）））；
        「标准错误打印行」于（「串组合并」于（（「列」【『错误输出：』，（「结果」中「二」）】）））
        ；（若「结果」中「零」则「阳」否则「发生事故」于（「命令输出错误文字」于『命令执行失败』于「程序名」于「参数文字」于（「结果」中「一」）于（「结果」中「二」）））
    ））
    ）
    也。
「成功运行」乃化「字符串」而化（「列」于「字符串」）而「爻」也。
「成功运行」者会「程序名」而会「参数列」而
    虑「参数文字」者「间合」于『 』于「参数列」而
    虑「结果」者「获取输出」于「程序名」于「参数列」而
    （
        （若「结果」中「零」则「阳」否则「发生事故」于（「命令输出错误文字」于『命令执行失败：「：换行：」』于「程序名」于「参数文字」于（「结果」中「一」）于（「结果」中「二」）））
    ）
    也。

yuyan · 63 行 · 3440 字节 · UTF-8

寻观「标准库」之「语言核心」之「内建类型」之书。


寻观「标准库」之「数据结构」之「多态列」之书。
寻观「标准库」之「数据结构」之「字节串」之书。


寻观「标准库」之「数学运算」之「数组转换」之书。

「读文件」乃化「字符串」而「字符串」也。
「读文件」者会「串」而《《C调用》》名『豫言_同步读取文件』传「串」也。

「删文件」乃化「字符串」而「字符串」也。
「删文件」者会「串」而《《C调用》》名『豫言_同步删除文件』传「串」也。

「写文件」乃化「字符串」而化「字符串」而「有」也。
「写文件」者会「文件名」而会「串」而《《C调用》》名『豫言_同步写入文件』传「文件名」与「串」也。

「读文件字节串」乃化「字符串」而「字节串」也。
「读文件字节串」者会「文件名」而《《C调用》》名『豫言_同步读取文件字节串』传「文件名」也。

「写文件字节串」乃化「字符串」而化「字节串」而「有」也。
「写文件字节串」者会「文件名」而会「内容」而《《C调用》》名『豫言_同步写入文件字节串』传「文件名」与「内容」也。

「读」者「读文件」也。

「读文件夹」乃化「字符串」而「列」于「字符串」也。
「读文件夹」者会「串」而「数组转多态列」于（《《C调用》》名『豫言_同步列出文件夹』传「串」）也。

「：路径必须存在！否则报错
TODO: 修改？
：」
「其文件夹乎」乃化「字符串」而「爻」也。
「其文件夹乎」者会「串」而《《C调用》》名『豫言_路径是文件夹』传「串」也。

「路径是文件夹」乃化「字符串」而「爻」也。
「路径是文件夹」者会「串」而《《C调用》》名『豫言_路径是文件夹』传「串」也。

「路径是普通文件」乃化「字符串」而「爻」也。
「路径是普通文件」者会「串」而《《C调用》》名『豫言_路径是普通文件』传「串」也。

「路径存在」乃化「字符串」而「爻」也。
「路径存在」者会「串」而《《C调用》》名『豫言_路径存在』传「串」也。

「：返回文件修改时间的时间戳：1970年至今的毫秒数：」
「获得文件修改时间」乃化「字符串」而「整数」也。
「获得文件修改时间」者会「串」而《《C调用》》名『豫言_获取文件修改时间』传「串」也。

「：get pwd：」
「获取当前路径」乃化「有」而「字符串」也。
「获取当前路径」者会「甲」而《《C调用》》名『豫言_获取当前工作目录』传「元」也。

「切换当前路径」乃化「字符串」而（「整数」合「字符串」）也。
「切换当前路径」者会「路径」而
    《《C调用》》名『豫言_切换当前工作目录』传「路径」也。

「路径可执行」乃化「字符串」而「爻」也。
「路径可执行」者会「路径」而
    《《C调用》》名『豫言_路径可执行』传「路径」也。

「查找可执行程序」乃化「字符串」而（「爻」合「字符串」）也。
「查找可执行程序」者会「程序名」而
    《《C调用》》名『豫言_查找可执行程序』传「程序名」也。

yuyan · 6 行 · 292 字节 · UTF-8


寻观「标准库」之「语言核心」之「内建类型」之书。

「： 注：退出将会退出当前程序。 ：」
「退出」乃化「整数」而「有」也。
「退出」者会「退出状态」而《《C调用》》名『豫言_退出进程』传「退出状态」也。

yuyan · 26 行 · 2204 字节 · UTF-8

寻观「标准库」之书。
寻观「标准库」之「控制」之「异步」之书。
寻观「标准库」之「数学运算」之「数组转换」之书。

「：文言：派生即启，候之不塞调度；所得可再候。汉语：立即启动进程，以异步任务保存可重复等待的结果。：」
「子进程结果」即「整数」合「整数」合「字符串」合「字符串」也。
「：文言：四者，进程号、退出码、输出、错误输出也。汉语：结果依次为进程号、退出码、标准输出、标准错误。：」

「异步获取输出」乃化「字符串」而化（「列」于「字符串」）而（「异步任务」于「子进程结果」）也。
「异步获取输出」者会「程序」而会「参数」而
    虑「参数数组」者「多态列转数组」授以「字符串」于「参数」而
    虑「句柄」者「整数」也（《《C调用》》名『豫言_启动异步子进程』传「程序」与「参数数组」）而
    若「小于」于「句柄」于「零」
    则「立即完成」授以「子进程结果」于
        （「零」与「一二七」与『』与（『启动子进程失败：』附「程序」附『，系统错误码：』附（「整数表示」于（「减」于「零」于「句柄」））））
    否则「派生可等待」授以「子进程结果」于（会「无」而
        虑「结果」者（「整数」合「整数」合「整数」合「字符串」合「字符串」）也
            （《《C调用》》名『豫言_尝试收取异步子进程』传「句柄」）而
        若「等于」于（「结果」中「零」）于「零」
        则（「异步步骤等待输入输出」授以「子进程结果」）于「句柄」于「一」
        否则「异步步骤完成」授以「子进程结果」于
            （（「结果」中「一」）与（「结果」中「二」）与（「结果」中「三」）与（「结果」中「四」）））
也。

「在线处理器数量」乃化「有」而「整数」也。
「在线处理器数量」者会「无」而《《C调用》》名『豫言_在线处理器数量』传「无」也。

yuyan · 46 行 · 2754 字节 · UTF-8


寻观「标准库」之「操作系统」之「系统名称」之书。

寻观「标准库」之「豫言标准内核」之书。

「路径分隔符」者
    若「行」于「当前系统是微软Windows」
    则『\』
    否则『/』
也。

「获取文件夹名」乃化「字符串」而「字符串」也。
「获取文件夹名」者会「路径」而
    鉴「串从右搜索单个」于「路径分隔符」于「路径」而
    有「可无」则『』
    或有（「可有」于「下标」）则「获取子字符串」于「零」于「下标」于「路径」也。

「获取文件名」乃化「字符串」而「字符串」也。
「获取文件名」者会「路径」而
    鉴「获取文件夹名」于「路径」而
    有『』则「路径」
    或有「文件夹名」则「获取子字符串」于（「加」于（「串长度」于（「文件夹名」））于「一」）于（「串长度」于「路径」）于「路径」也。
    
「路径合并」乃化「字符串」而化「字符串」而「字符串」也。
「路径合并」者会「甲」而会「乙」而
    若「串相等」于「乙」于『.』则「甲」否则
    若（「串开头是它吗」于（「串组合并」于（（「列」【『.』，「路径分隔符」】）））于「乙」）则
        （「路径合并」于「甲」于（「获取子字符串」于「二」于（「串长度」于「乙」）于「乙」））
    否则
    若「串结尾是它吗」于「路径分隔符」于「甲」
    则（若（「串开头是它吗」于「路径分隔符」于「乙」）
        则「串组合并」于（（「列」【「甲」，（「去除串开头」于「路径分隔符」于「乙」）】））
        否则「串组合并」于（（「列」【「甲」，「乙」】）））
    否则（若（「串开头是它吗」于「路径分隔符」于「乙」）
        则「串组合并」于（（「列」【「甲」，「乙」】））
        否则「串组合并」于（（「列」【「甲」，「路径分隔符」，「乙」】）））
    也。

「路径名是绝对路径」乃化「字符串」而「爻」也。
「路径名是绝对路径」者会「串」而
    鉴（「获取字符」于「串」）而
        有「缀」于『/』于「尾」则「阳」
        或有「缀」于「盘符」于（「缀」于『:』于（「缀」于『/』于「尾」））则「阳」
        或有「缀」于『f』于（「缀」于『i』于（「缀」于『l』于（「缀」于『e』于（「缀」于『:』于（「缀」于『/』于（「缀」于『/』于「尾」））））））则「阳」
        或有「其他」则「阴」
        也。

yuyan · 2 行 · 89 字节 · UTF-8

1
2

寻「标准库」之「输入输出」之「笔」之书。
「笔」者「笔」也。

yuyan · 10 行 · 469 字节 · UTF-8


寻观「标准库」之「语言核心」之「内建类型」之书。

「： 注：整数为上限。 ：」
「获取随机整数」乃化「整数」而「整数」也。
「获取随机整数」者会「甲」而《《C调用》》名『豫言_获取随机整数』传「甲」也。


「获取随机小数」乃化「有」而「小数」也。
「获取随机小数」者会「甲」而《《C调用》》名『豫言_获取随机小数』传「元」也。

yuyan · 56 行 · 3307 字节 · UTF-8


寻观「标准库」之「数据结构」之「多态列」之书。
寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「引用」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。

「：多态列转换结果是一个2个元素的数组，第一个是数组引用，第二个是数组长度：」
「多态列转数组」乃承「甲」而化（「列」于「甲」）而「混合数组引用类」也。
「多态列转数组」者受「甲」而会「物」而
    虑「返回」者「新混合数组引用」于「二」而
    虑「物长」者「长度」授以「甲」于「物」而
    虑「数组」者「新数组引用不初始化」授以「甲」于（「物长」）而
    虑「序数」者「新引用」授以「整数」于「零」而
    递归虑「处理数组」其化（「列」于「甲」）而「有」者
        会「剩余」而
            鉴「剩余」而
                有「罄」则「元」
                或有「缀」于「头」于「尾」则（
                    虑「无」者「写数组引用」授以「甲」于「数组」于（「读引用」授以「整数」于「序数」）于「头」而
                    虑「无」者「写引用」授以「整数」于「序数」于（「加」于（「读引用」授以「整数」于「序数」）于「一」）而
                    「处理数组」于「尾」
                ）
    而
        （「处理数组」于「物」；
        （「写混合数组引用」授以（「数组引用类」于「甲」））于「返回」于「零」于「数组」；
        （「写混合数组引用」授以「整数」）于「返回」于「一」于「物长」；
        「返回」）
    也。


「数组转多态列」乃承「甲」而化「混合数组引用类」而「列」于「甲」也。
「数组转多态列」者受「甲」而会「引」而
    虑「数组」者（（「数组引用类」于「甲」）也「读混合数组引用」于「引」于「零」）而
    虑「物长」者（「整数」也「读混合数组引用」于「引」于「一」）而
    虑「返回」者「打表」授以「甲」于「物长」于（
            会「序数」而
                「读数组引用」授以「甲」于「数组」于「序数」
        ）而
    「返回」
也。


「对子转数组」乃承「甲」而承「乙」而化「甲」合「乙」而「混合数组引用类」也。
「对子转数组」者受「甲」而受「乙」而会「物」而
    虑「返回」者「新混合数组引用」于「二」而
    （（「写混合数组引用」授以「甲」）于「返回」于「零」于（「物」中「零」）；
    （「写混合数组引用」授以「乙」）于「返回」于「一」于（「物」中「一」）；
    「返回」）
也。

「数组转对子」乃承「甲」而承「乙」而化「混合数组引用类」而「甲」合「乙」也。
「数组转对子」者受「甲」而受「乙」而会「物」而
    （「读混合数组引用」授以「甲」于「物」于「零」）
    与
    （「读混合数组引用」授以「乙」于「物」于「一」）
也。

yuyan · 7 行 · 232 字节 · UTF-8

寻观「标准库」之「语言核心」之「内建类型」之书。


「大小」立「元类型」也。
「大于关系」立「大小」也。
「小于关系」立「大小」也。
「等于关系」立「大小」也。

yuyan · 8 行 · 414 字节 · UTF-8

寻观「标准库」之「语言核心」之「内建类型」之书。


「整数转小数」乃化「整数」而「小数」也。
「整数转小数」者会「甲」而《《C调用》》名『豫言_整数转小数』传「甲」也。

「小数转整数」乃化「小数」而「整数」也。
「小数转整数」者会「甲」而《《C调用》》名『豫言_小数转整数』传「甲」也。

yuyan · 20 行 · 935 字节 · UTF-8


「：应当改名为求和：」


寻观「标准库」之「数据结构」之「多态列」之书。

寻观「标准库」之「语言核心」之「内建类型」之书。

寻观「标准库」之「数据结构」之「整数操作」之书。
寻「标准库」之「数据结构」之「小数操作」之书。





「求和」乃化（「列」于「整数」）而「整数」也。
「求和」者会「列」而（「从左折叠」授以「整数」授以「整数」）于（会「甲」而会「乙」而「整数操作」之「加」于「甲」于（「乙」））于「零」于「列」也。

「小数列求和」乃化（「列」于「小数」）而「小数」也。
「小数列求和」者会「列」而（「从左折叠」授以「小数」授以「小数」）于（会「甲」而会「乙」而「小数操作」之「加」于「甲」于（「乙」））于「零点零」于「列」也。

yuyan · 38 行 · 2164 字节 · UTF-8

寻观「标准库」之「语言核心」之「内建类型」之书。




「打印」乃化「字符串」而「有」也。
「打印」者会「串」而《《C调用》》名『豫言_打印字符串』传「串」也。

「打印行」乃化「字符串」而「有」也。
「打印行」者会「串」而《《C调用》》名『豫言_打印行』传「串」也。

「标准错误打印行」乃化「字符串」而「有」也。
「标准错误打印行」者会「串」而《《C调用》》名『豫言_标准错误打印行』传「串」也。

「尝试读取标准输入行」乃化「有」而（「爻」合「字符串」）也。
「尝试读取标准输入行」者会「无」而
    《《C调用》》名『豫言_尝试读取标准输入行』传「元」也。

「标准输入是终端」乃化「有」而「爻」也。
「标准输入是终端」者会「无」而《《C调用》》名『豫言_标准输入是终端』传「元」也。

「标准输出是终端」乃化「有」而「爻」也。
「标准输出是终端」者会「无」而《《C调用》》名『豫言_标准输出是终端』传「元」也。

「进入终端原始输入模式」乃化「有」而「爻」也。
「进入终端原始输入模式」者会「无」而《《C调用》》名『豫言_进入终端原始输入模式』传「元」也。

「退出终端原始输入模式」乃化「有」而「有」也。
「退出终端原始输入模式」者会「无」而《《C调用》》名『豫言_退出终端原始输入模式』传「元」也。

「读取终端按键」乃化「有」而（「爻」合「字符串」）也。
「读取终端按键」者会「无」而《《C调用》》名『豫言_读取终端按键』传「元」也。

「写」乃化「字符串」而「有」也。
「写」者会「串」而《《C调用》》名『豫言_打印行』传「串」也。

「调试打印」乃（承「乙」而化「字符串」而化「乙」而「有」）也。
「调试打印」者受「乙」而会「名」而会「物」而《《C调用》》名『豫言_打印通用值』传（「名」与「物」）也。

yuyan · 7 行 · 412 字节 · UTF-8

寻「标准库」之「网络」之「传输控制协议」之书。
寻「标准库」之「网络」之「异步传输控制协议」之书。
寻「标准库」之「网络」之「超文本传输协议」之书。

「传输控制协议」者「传输控制协议」也。
「异步传输控制协议」者「异步传输控制协议」也。
「超文本传输协议」者「超文本传输协议」也。

yuyan · 19 行 · 874 字节 · UTF-8

「：文言：此为标准库总集，所出皆明书。汉语：单段标准库导入固定指向此普通模块，不自动扫描或合并包内文件。：」

寻诵「标准库」之「操作系统」之书。
寻诵「标准库」之「控制」之书。
寻诵「标准库」之「数学运算」之书。
寻诵「标准库」之「数据结构」之书。
寻诵「标准库」之「输入输出」之书。
寻诵「标准库」之「语言核心」之书。
寻诵「标准库」之「网络」之书。

「控制」者「控制」也。
「操作系统」者「操作系统」也。
「数学运算」者「数学运算」也。
「数据结构」者「数据结构」也。
「输入输出」者「输入输出」也。
「语言核心」者「语言核心」也。
「网络」者「网络」也。

寻诵「标准库」之「豫言标准内核」之书。

yuyan · 17 行 · 875 字节 · UTF-8

寻「标准库」之「操作系统」之「子进程」之书。
寻「标准库」之「操作系统」之「命令行参数」之书。
寻「标准库」之「操作系统」之「文件系统」之书。
寻「标准库」之「操作系统」之「进程」之书。
寻「标准库」之「操作系统」之「时间」之书。
寻「标准库」之「操作系统」之「路径」之书。
寻「标准库」之「操作系统」之「系统名称」之书。
寻「标准库」之「操作系统」之「环境变量」之书。

「子进程」者「子进程」也。
「命令行参数」者「命令行参数」也。
「文件系统」者「文件系统」也。
「进程」者「进程」也。
「时间」者「时间」也。
「路径」者「路径」也。
「系统名称」者「系统名称」也。
「环境变量」者「环境变量」也。

yuyan · 3 行 · 300 字节 · UTF-8

1
2
3


「以当前续延调用」乃（承「乙」而化（化（承「丙」而化「乙」而（「丙」））而「乙」）而「乙」）也。
「以当前续延调用」者受「乙」而会「操作」而（《《内建函数：以当前续延调用》》）授以「乙」于「操作」也。

yuyan · 46 行 · 2917 字节 · UTF-8


寻观「标准库」之「语言核心」之「内建类型」之书。

「引用类」立化「元类型」而「元类型」也。

「数组引用类」立化「元类型」而「元类型」也。




「新引用」乃承「甲」而化「甲」而「引用类」于「甲」也。
「新引用」者会「值」而《《C调用》》名『豫言_新建引用』传「值」也。

「读引用」乃承「甲」而化「引用类」于「甲」而「甲」也。
「读引用」者会「引用」而《《C调用》》名『豫言_读取引用』传（「引用」）也。

「写引用」乃承「甲」而化「引用类」于「甲」而化「甲」而「有」也。
「写引用」者（会「引用」而会「值」而《《C调用》》名『豫言_写入引用』传「值」与（「引用」））也。

「：TODO：我们需要考虑加入边界检查！：」

「新数组引用」乃承「甲」而化「甲」而化「整数」而「数组引用类」于「甲」也。
「新数组引用」者会「值」而会「长度」而《《C调用》》名『豫言_新建引用数组』传「值」与「长度」也。

「：！！读取一个未初始化的数组不是安全的：」
「新数组引用不初始化」乃承「甲」而化「整数」而「数组引用类」于「甲」也。
「新数组引用不初始化」者会「长度」而《《C调用》》名『豫言_新建未初始化引用数组』传「长度」也。


「读数组引用」乃承「甲」而化「数组引用类」于「甲」而化「整数」而「甲」也。
「读数组引用」者会「引用」而会「索引」而《《C调用》》名『豫言_读取引用数组』传（「引用」）与「索引」也。

「写数组引用」乃承「甲」而化「数组引用类」于「甲」而化「整数」而化「甲」而「有」也。
「写数组引用」者（会「引用」而会「索引」而会「值」而《《C调用》》名『豫言_写入引用数组』传「值」与「索引」与（「引用」））也。


「混合数组引用类」立「元类型」也。

「新混合数组引用」乃化「整数」而「混合数组引用类」也。
「新混合数组引用」者会「长度」而《《C调用》》名『豫言_新建未初始化引用数组』传「长度」也。

「读混合数组引用」乃承「甲」而化「混合数组引用类」而化「整数」而「甲」也。
「读混合数组引用」者会「引用」而会「索引」而《《C调用》》名『豫言_读取引用数组』传（「引用」）与「索引」也。

「写混合数组引用」乃承「甲」而化「混合数组引用类」而化「整数」而化「甲」而「有」也。
「写混合数组引用」者（会「引用」而会「索引」而会「值」而《《C调用》》名『豫言_写入引用数组』传「值」与「索引」与（「引用」））也。

yuyan · 8 行 · 509 字节 · UTF-8

「字符串」即「《《内建类型：字符串》》」也。
「整数」即「《《内建类型：整数》》」也。
「小数」即「《《内建类型：小数》》」也。
「动态分类值」即「《《内建类型：动态分类值》》」也。
「有」即「《《内建类型：有》》」也。
「爻」即「《《内建类型：爻》》」也。
「元类型」即「《《内建类型：元类型》》」也。
「类型」即「《《内建类型：元类型》》」也。

yuyan · 1 行 · 0 字节 · UTF-8

yuyan · 6 行 · 293 字节 · UTF-8

「：这里的函数调用都不安全，可能会产生运行时错误，请谨慎使用：」



「不安全转换」乃承「甲」而承「乙」而化「甲」而「乙」也。
「不安全转换」者会「物」而《《C调用》》名『豫言_不安全转换』传「物」也。

yuyan · 17 行 · 1023 字节 · UTF-8

寻观「标准库」之「语言核心」之「内建类型」之书。

「抛出异常」乃（承「乙」而化「字符串」而「乙」）也。
「抛出异常」者《《内建函数：抛出异常字符串》》也。

「内建尝试运行」乃（承「乙」而化（
    （化（「有」）而（「乙」））「：尝试：」合
    （化「字符串」而（「乙」））「：遇异：」
    ）而「乙」）也。
「内建尝试运行」者《《内建函数：尝试运行字符串》》也。

「发生事故」乃（承「乙」而化「字符串」而「乙」）也。
「发生事故」者受「乙」而会「串」而「抛出异常」授以「乙」于「串」也。

「尝试运行」乃（承「丙」而化（化（「有」）而（「丙」））而化（化「字符串」而（「丙」））而「丙」）也。
「尝试运行」者受「丙」而会「执行」而会「处理」而
    「内建尝试运行」授以「丙」于（「执行」与「处理」）也。

yuyan · 12 行 · 633 字节 · UTF-8

寻「标准库」之「语言核心」之「内建类型」之书。
「内建类型」者「内建类型」也。
寻「标准库」之「语言核心」之「续延」之书。
「续延」者「续延」也。
寻「标准库」之「语言核心」之「动态分类」之书。
「动态分类」者「动态分类」也。
寻「标准库」之「语言核心」之「异常」之书。
「异常」者「异常」也。
寻「标准库」之「语言核心」之「引用」之书。
「引用」者「引用」也。
寻「标准库」之「语言核心」之「不安全」之书。
「不安全」者「不安全」也。

yuyan · 6 行 · 204 字节 · UTF-8


寻「标准库」之「控制」之「惰性求值」之书。
寻「标准库」之「控制」之「异步」之书。

「惰性求值」者「惰性求值」也。
「异步」者「异步」也。

yuyan · 13 行 · 520 字节 · UTF-8


寻「标准库」之「数学运算」之「转换」之书。
寻「标准库」之「数学运算」之「具体列」之书。
寻「标准库」之「数学运算」之「随机」之书。
寻「标准库」之「数学运算」之「大小」之书。
寻「标准库」之「数学运算」之「数组转换」之书。


「转换」者「转换」也。
「具体列」者「具体列」也。
「随机」者「随机」也。
「大小」者「大小」也。
「数组转换」者「数组转换」也。