豫言源码浏览器

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

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

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

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

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

「：
汉语：以给定消息抛出事故，用类型参数指定调用位置的预期结果类型；不会正常返回。
文言：以所授文告事故，类型参定其所居之类，不常返。
赋曰：一语传惊止客舟，虽题归物亦难收。此门只送缘由出，不向原程续水流。
：」
「中止为」乃承「甲」而化「字符串」而「甲」也。
「中止为」者受「甲」而会「消息」而
  （「甲」也（「发生事故」于「消息」））
也。

「：
汉语：判断字符串是否含回车或换行字符，任意一个存在即为阳。
文言：验串中回车或新行，有一则阳。
赋曰：一纸寻来两种痕，回车新行各为门。只消一处能分段，便报文中别段存。
：」
「含换行吗」乃化「字符串」而「爻」也。
「含换行吗」者会「内容」而
  「或者」于（「是子字符串吗」于「回车」于「内容」）于（「是子字符串吗」于「新行」于「内容」）
也。

「：
汉语：依次接收非空分隔符和内容，从左按连续匹配分段；保留空段，空内容返回含一个空串的列表，空分隔符抛出事故。
文言：以非空隔文自左分段，空段亦留，空入得一空段；隔空则告事故。
赋曰：长篇遇界剪成笺，空处依然占一边。无字原来也有段，莫将空尺作刀沿。
：」
「按字符串分隔」乃化「字符串」而化「字符串」而（「列」于「字符串」）也。
「按字符串分隔」者会「分隔符」而会「内容」而
  若「字符串相等吗」于「分隔符」于『』
  则
    「中止为」授以（「列」于「字符串」）于『分隔符不可为空』
  否则
    （
      鉴「串从左搜索单个」于「分隔符」于「内容」而
        有「可无」则（「列」【「内容」】）
        或有（「可有」于「序数」）则
          虑「分隔符长度」者「串长度」于「分隔符」
          而
          虑「前部」者「获取子字符串」于「零」于「序数」于「内容」
          而
          虑「后部」者
            「获取子字符串」
              于（「加」于「序数」于「分隔符长度」）
              于（「串长度」于「内容」）于「内容」
          而
          「缀」于「前部」于（「按字符串分隔」于「分隔符」于「后部」）
    ）
也。

「：
汉语：递归移除开头的空格和制表符，保留其余内容及末尾空白，不处理其他空白字符。
文言：去首之空格制表而止于他字，余皆存。
赋曰：卷首浮尘拂到清，逢文住手不前行。尾边空白还如旧，只扫门前两样轻。
：」
「去除开头空白」乃化「字符串」而「字符串」也。
「去除开头空白」者会「内容」而
  若「或者」于（「串开头是它吗」于『 』于「内容」）于（「串开头是它吗」于「制表」于「内容」）
  则
    「去除开头空白」于（「获取子字符串」于「一」于（「串长度」于「内容」）于「内容」）
  否则
    「内容」
也。

「：
汉语：按第一个冒号分出标头名称和值，删除值开头的空格和制表符；没有冒号时抛出事故。
文言：以首冒号分名值，去值首空格制表；无号则告事故。
赋曰：一冒分开姓与言，轻除值首白云痕。若无分界难成对，须报残书莫误存。
：」
「解析标头行」乃化「字符串」而「标头」也。
「解析标头行」者会「标头行」而
  鉴「串从左搜索单个」于『:』于「标头行」而
    有「可无」则
      「中止为」授以「标头」于（『无效响应标头：』附「标头行」）
    或有（「可有」于「冒号序数」）则
      虑「名称」者「获取子字符串」于「零」于「冒号序数」于「标头行」而
      虑「值」者
        「去除开头空白」于（「获取子字符串」于（「加」于「冒号序数」于「一」）于（「串长度」于「标头行」）于「标头行」）
      而
      「名称」与「值」
也。

「：
汉语：按原顺序解析各标头行，任一无效行的事故会传播，空列表返回空列表。
文言：循序解诸标头，异则上传，空仍空。
赋曰：行行拆作两头签，旧序随文列眼前。一处残行须上告，空函依旧不添篇。
：」
「解析标头行们」乃化（「列」于「字符串」）而（「列」于「标头」）也。
「解析标头行们」者会「行们」而
  鉴「行们」而
    有「罄」则「罄」
    或有（「缀」于「行」于「余行」）则
      「缀」于（「解析标头行」于「行」）于（「解析标头行们」于「余行」）
也。

「：
汉语：要求协议版本前缀及两处空格，解析一百至五百九十九的状态码和原因短语；格式或范围不符时抛出事故，整数解析本身不严格校验整个数字文本。
文言：验协议前缀与二空格，取百至五百九十九之码及因文；不合则告异，数文未尽严校。
赋曰：卷首先查协议名，中分数码后分声。界内才容归两项，残章须报不分明。
：」
「解析状态行」乃化「字符串」而（「整数」合「字符串」）也。
「解析状态行」者会「状态行」而
  若「非」于（「串开头是它吗」于『HTTP/』于「状态行」）
  则
    「中止为」授以（「整数」合「字符串」）于『响应状态行缺少协议版本』
  否则
    （
      鉴「串从左搜索单个」于『 』于「状态行」而
        有「可无」则
          「中止为」授以（「整数」合「字符串」）
          于『响应状态行缺少状态码』
        或有（「可有」于「首空格」）则
          虑「状态及短语」者
            「获取子字符串」
              于（「加」于「首空格」于「一」）
              于（「串长度」于「状态行」）于「状态行」而
          鉴「串从左搜索单个」于『 』于「状态及短语」而
            有「可无」则
              「中止为」授以（「整数」合「字符串」）
              于『响应状态行缺少原因短语』
            或有（「可有」于「次空格」）则
              虑「状态码」者
                「理解整数」于（「获取子字符串」于「零」于「次空格」于「状态及短语」）
              而
              虑「无」者
                若「且」
                  于（「大于」于「状态码」于「九九」）
                  于（「小于」于「状态码」于「六零零」）
                则
                  「元」
                否则
                  「发生事故」于『响应状态码超出范围』
              而
              「状态码」
                与（「获取子字符串」于（「加」于「次空格」于「一」）于（「串长度」于「状态及短语」）于「状态及短语」）
    ）
也。

「：
汉语：在首个双回车换行处分离头部与正文，返回状态码、原因短语、标头列表和正文；不解分块编码，也不按内容长度裁正文。
文言：以首双回车新行分首尾，返码、因、标头及正文；不解分块，不依内容长裁尾。
赋曰：双空划界首尾明，四项分装各有名。正文原留来信样，未将分块另修成。
：」
「解析响应」乃化「字符串」而「响应」也。
「解析响应」者会「原始响应」而
  虑「头尾分隔」者「回车换行」附「回车换行」而
  鉴「串从左搜索单个」于「头尾分隔」于「原始响应」而
    有「可无」则
      「中止为」授以「响应」
      于『响应中没有标头结束标记』
    或有（「可有」于「头尾序数」）则
      虑「头部」者「获取子字符串」于「零」于「头尾序数」于「原始响应」而
      虑「正文」者
        「获取子字符串」
          于（「加」于「头尾序数」于（「串长度」于「头尾分隔」））
          于（「串长度」于「原始响应」）于「原始响应」而
      鉴「按字符串分隔」于「回车换行」于「头部」而
        有「罄」则「中止为」授以「响应」
        于『响应头部为空』
        或有（「缀」于「状态行」于「标头行们」）则
          虑「状态」者「解析状态行」于「状态行」而
          （「状态」中「零」）与（「状态」中「一」）与（「解析标头行们」于「标头行们」）与「正文」
也。

「：
汉语：将名称和值编成“名称、冒号、空格、值、回车换行”；拒绝换行注入和名称中的冒号，不全面校验标头语法。
文言：联名冒号空格及值，续回车新行；拒名值换行及名中冒号，未尽校语法。
赋曰：名值相连各有疆，行终双记续成章。偷分新句先拦下，莫使旁枝混正行。
：」
「编制标头」乃化「标头」而「字符串」也。
「编制标头」者会「标头值」而
  虑「名称」者「标头值」中「零」而
  虑「值」者「标头值」中「一」而
  虑「无」者
    若「或者」于（「含换行吗」于「名称」）于（「含换行吗」于「值」）
    则
      「发生事故」于『标头中不可含有换行符』
    否则
      「元」
  而
  虑「无」者
    若「是子字符串吗」于『:』于「名称」
    则
      「发生事故」于『标头名称中不可含有冒号』
    否则
      「元」
  而
  「名称」附『: 』附「值」附「回车换行」
也。

「：
汉语：依次编制并连接标头列表，空列表返回空字符串；保留重复标头，不自动去重。
文言：循序编联诸标头，空则空串，重者亦存。
赋曰：诸签写罢接长篇，先后相随到案前。同字重来也照录，空函不必另添笺。
：」
「编制标头们」乃化（「列」于「标头」）而「字符串」也。
「编制标头们」者会「标头们」而
  鉴「标头们」而
    有「罄」则『』
    或有（「缀」于「当前标头」于「余下标头」）则（「编制标头」于「当前标头」）附（「编制标头们」于「余下标头」）
也。

「：
汉语：端口为八十时只返回主机，否则返回主机、冒号及端口的拼接。
文言：端口八十但书主机，余则附冒号与端口。
赋曰：常门只写主人名，别埠添来路号明。一冒相连分两项，寄书从此识归程。
：」
「主机标头值」乃化「字符串」而化「整数」而「字符串」也。
「主机标头值」者会「主机」而会「端口」而
  若「等于」于「端口」于「八零」则
    「主机」
  否则
    「主机」附『:』附（「整数表示」于「端口」）
也。

「：
汉语：依次接收方法、主机、端口、目标、附加标头和正文，生成一点一版请求，自动加入主机、关闭连接和正文的字节长度标头；拒绝关键字段的换行，不去重附加标头。
文言：受法、主机、端口、目标、标头及正文，编一点一版请求，自附主机、闭连及字节长；拒要字段换行，不去重标头。
赋曰：行首题明问路章，主机门号附身旁。正文按粒书其数，一札封成待远航。
：」
「编制请求」乃
  化「字符串」而
  化「字符串」而
  化「整数」而
  化「字符串」而
  化（「列」于「标头」）而
  化「字符串」而
  「字符串」
也。
「编制请求」者会「方法」而会「主机」而会「端口」而会「目标」而会「标头们」而会「正文」而
  虑「无」者
    若「或者」于（「含换行吗」于「方法」）于（「含换行吗」于「主机」）
    则
      「发生事故」于『请求方法和主机中不可含有换行符』
    否则
      「元」
  而
  虑「无」者
    若「含换行吗」于「目标」
    则
      「发生事故」于『请求目标中不可含有换行符』
    否则
      「元」
  而
  「方法」附『 』附「目标」附『 HTTP/1.1』附「回车换行」
  附（「编制标头」于（『Host』与（「主机标头值」于「主机」于「端口」）））
  附（「编制标头」于（『Connection』与『close』））
  附（「编制标头」于（『Content-Length』与（「整数表示」于（「字节长度」于「正文」））））
  附（「编制标头们」于「标头们」）
  附「回车换行」
  附「正文」
也。

「：
汉语：操作成功且事件非零时返回元；成功但事件零视为超时，其余等待、关闭或失败状态均抛出事故。
文言：成且事非零则元，成而零则超时，余候闭败皆告事故。
赋曰：灯来还辨亮和空，非零才许路能通。候闭败途皆有报，莫把虚光作好风。
：」
「确认有事件」乃化（「操作结果」于「整数」）而「有」也。
「确认有事件」者会「结果」而
  鉴「结果」而
    有「操作成功」于「事件」则
      若「等于」于「事件」于「零」则「发生事故」于『网络操作超时』否则「元」
    或有「暂需等待」于「事件」则
      「发生事故」于『等待事件时意外要求再次等待』
    或有「连接已关闭」则
      「发生事故」于『等待事件时连接已经关闭』
    或有「操作失败」于「状态」则
      「发生事故」于（『等待网络事件失败：』附（「错误消息」于「状态」））
也。

「：
汉语：先按毫秒超时等待可写，再确认连接；仍需等待则重复。超时按每次等待计算，不是整个连接过程的总期限。
文言：限时候可写而验连，未成复候；限各次之候，非全程之限。
赋曰：候得风来再问桥，未成还向埠边招。回回自有新时限，不把全程一线描。
：」
「等待连接完成」乃化「传输连接」而化「整数」而「传输连接」也。
「等待连接完成」者会「连接值」而会「超时毫秒数」而
  虑「无」者「确认有事件」于（「等待可写」于「连接值」于「超时毫秒数」）而
  鉴「完成连接」于「连接值」而
    有「操作成功」于「完成值」则「完成值」
    或有「暂需等待」于「完成值」则
      「等待连接完成」于「完成值」于「超时毫秒数」
    或有「连接已关闭」则
      「中止为」授以「传输连接」
      于『连接建立期间被关闭』
    或有「操作失败」于「状态」则
      「中止为」授以「传输连接」于（『完成连接失败：』附（「错误消息」于「状态」））
也。

「：
汉语：按主机、端口和每次等待超时建立连接，立即成功则返回句柄，暂需等待则继续等待确认，关闭或失败时抛出事故。
文言：按主机端口启连，成则还柄，候则再验，闭败则告事故；限属每候。
赋曰：启棹先询彼岸通，未成系缆再候风。成功方把门符付，闭路还须报不逢。
：」
「建立连接」乃化「字符串」而化「整数」而化「整数」而「传输连接」也。
「建立连接」者会「主机」而会「端口」而会「超时毫秒数」而
  鉴「开始连接」于「主机」于「端口」而
    有「操作成功」于「连接值」则「连接值」
    或有「暂需等待」于「连接值」则
      「等待连接完成」于「连接值」于「超时毫秒数」
    或有「连接已关闭」则
      「中止为」授以「传输连接」
      于『连接建立期间被关闭』
    或有「操作失败」于「状态」则
      「中止为」授以「传输连接」于（『开始连接失败：』附（「错误消息」于「状态」））
也。

「：
汉语：将字符串从零字节起持续写完，部分写入后推进位置，不可写时限时等待；无进展、关闭或失败抛出事故，超时按每次等待计算。
文言：自零续写至尽，少写则进位，未可则限候；不进、闭、败皆告事故，限属每候。
赋曰：长笺分送接前船，未尽重移字节边。直到全篇离此岸，方将笔砚暂收前。
：」
「写完整」乃化「传输连接」而化「字符串」而化「整数」而「有」也。
「写完整」者会「连接值」而会「内容」而会「超时毫秒数」而
  「：
汉语：写完整的局部递归函数；以字节位置为参数，按实际发送数量推进，遇等待则保持位置重试，直到全文写完。
文言：局部续写之术，受字节位，依实写数进，候则守位再试，尽乃止。
赋曰：按数移签续短航，潮低守位待风扬。一篇未尽还重寄，到末收帆算整章。
：」
递归虑「继续写」其化「整数」而「有」者会「位置」而
  若「等于」于「位置」于（「字节长度」于「内容」）则
    「元」
  否则
    （
      鉴「从字节序数写入」于「连接值」于「内容」于「位置」而
        有「操作成功」于「写入数」则
          若「大于」于「写入数」于「零」
          则
            「继续写」于（「加」于「位置」于「写入数」）
          否则
            「发生事故」于『写入没有取得进展』
        或有「暂需等待」于「写入数」则
          （虑「无」者「确认有事件」于（「等待可写」于「连接值」于「超时毫秒数」）而「继续写」于「位置」）
        或有「连接已关闭」则
          「发生事故」于『写入期间连接被关闭』
        或有「操作失败」于「状态」则
          「发生事故」于（『写入失败：』附（「错误消息」于「状态」））
    ）
而
「继续写」于「零」
也。

「：
汉语：每次最多读取四千零九十六字节并累积，直到对端关闭才返回；暂不可读时按每次超时等待，失败抛出事故。
文言：每读至多四千零九十六字节而积，彼闭乃还；未可则限候，败则告事故。
赋曰：潮来叠水入长瓯，几度停潮几度收。直待彼门关却后，才将全水报归舟。
：」
「读取完整」乃化「传输连接」而化「整数」而「字符串」也。
「读取完整」者会「连接值」而会「超时毫秒数」而
  「：
汉语：读取完整的局部递归函数；参数保存已收内容，读取成功时拼接，等待后重试，对端关闭时返回累积内容。
文言：局部续读之术，藏已有文，得则联之，候则再试，彼闭还积。
赋曰：一瓢接着一瓢收，旧水新波共满瓯。暂静还须重候浪，门关才把全囊留。
：」
递归虑「继续读」其化「字符串」而「字符串」者会「已有」而
  鉴「读取」于「连接值」于「四零九六」而
    有「操作成功」于「新内容」则
      「继续读」于（「已有」附「新内容」）
    或有「暂需等待」于「新内容」则
      （虑「无」者「确认有事件」于（「等待可读」于「连接值」于「超时毫秒数」）而「继续读」于「已有」）
    或有「连接已关闭」则「已有」
    或有「操作失败」于「状态」则
      「中止为」授以「字符串」于（『读取失败：』附（「错误消息」于「状态」））
而
「继续读」于『』
也。

「：
汉语：依次接收方法、主机、端口、目标、标头、正文和每次等待超时；编制明文请求、连接、写完、读至关闭后解析响应。当前中途异常不会统一清理连接，关闭结果也未检查。
文言：循参编明文请求，启连尽写，读至闭而解；中途异未统理闭连，闭果亦未验。
赋曰：一札明文过远津，开桥寄罢候来人。四栏拆得归来信，曲折仍须察败因。
：」
「发送请求」乃
  化「字符串」而
  化「字符串」而
  化「整数」而
  化「字符串」而
  化（「列」于「标头」）而
  化「字符串」而
  化「整数」而
  「响应」
也。
「发送请求」者会「方法」而会「主机」而会「端口」而会「目标」而会「标头们」而会「正文」而会「超时毫秒数」而
  虑「请求文字」者
    「编制请求」于「方法」于「主机」于「端口」于「目标」于「标头们」于「正文」而
    虑「连接值」者「建立连接」于「主机」于「端口」于「超时毫秒数」而
    虑「无」者「写完整」于「连接值」于「请求文字」于「超时毫秒数」而
    虑「响应文字」者「读取完整」于「连接值」于「超时毫秒数」而
    虑「无」者「关闭」于「连接值」而
    「解析响应」于「响应文字」
也。

「：
汉语：解析明文网址为主机、端口和目标，只接受明文方案；缺省端口八十、目标正斜线，显式端口须一至六万五千五百三十五。不完整支持用户信息、方括号地址等复杂网址。
文言：解明文网址为主机端口目标，缺则口八十、目标正斜线；显口须在一至六万五千五百三十五，复杂网址未尽备。
赋曰：拆得明文一路签，主机门号目标连。无题自补常门径，别样长途未尽编。
：」
「解析明文网址」乃化「字符串」而「网址信息」也。
「解析明文网址」者会「网址」而
  若「非」于（「串开头是它吗」于『http://』于「网址」）
  则
    「中止为」授以「网址信息」于『目前只支持以 http:// 开头的明文网址』
  否则
    虑「去除方案后」者「去除串开头」于『http://』于「网址」而
    虑「主机端口及目标」者鉴「串从左搜索单个」于『/』于「去除方案后」而
      有「可无」则
        「去除方案后」与『/』
      或有（「可有」于「斜线序数」）则
        （「获取子字符串」于「零」于「斜线序数」于「去除方案后」）
          与
    （「获取子字符串」于「斜线序数」于（「串长度」于「去除方案后」）于「去除方案后」）
    而
    虑「主机端口」者「主机端口及目标」中「零」而
    虑「目标」者「主机端口及目标」中「一」而
    虑「无」者
      若「字符串相等吗」于「主机端口」于『』则「发生事故」于『网址缺少主机』否则「元」而
    鉴「串从右搜索单个」于『:』于「主机端口」而
      有「可无」则
        「主机端口」与「八零」与「目标」
      或有（「可有」于「冒号序数」）则
        虑「主机」者「获取子字符串」于「零」于「冒号序数」于「主机端口」
        而
        虑「端口」者
          「理解整数」于（「获取子字符串」
            于（「加」于「冒号序数」于「一」）
            于（「串长度」于「主机端口」）于「主机端口」）
        而
        虑「无」者
          若「且」
            于（「大于」于「端口」于「零」）
            于（「小于」于「端口」于「六五五三六」）
          则
            「元」
          否则
            「发生事故」于『网址端口超出范围』
        而
        「主机」与「端口」与「目标」
也。

「：
汉语：依次接收方法、明文网址、标头、正文和每次等待超时，解析网址后发送请求，返回响应；不提供加密传输、自动重定向或分块解码。
文言：受法、明文网址、标头、正文与限时，解址而发，返响应；未有密传、自转向及分块解码。
赋曰：循址传书问远方，五般行具付归航。明文一去收回应，未替来笺换别乡。
：」
「请求网址」乃
  化「字符串」而
  化「字符串」而
  化（「列」于「标头」）而
  化「字符串」而
  化「整数」而
  「响应」
也。
「请求网址」者会「方法」而会「网址」而会「标头们」而会「正文」而会「超时毫秒数」而
  虑「信息」者「解析明文网址」于「网址」而
  「发送请求」
    于「方法」
    于（「信息」中「零」）
    于（「信息」中「一」）
    于（「信息」中「二」）于「标头们」于「正文」于「超时毫秒数」
也。

「：
汉语：对明文网址发送获取请求，附加标头和正文为空，每次等待超时三万毫秒；返回完整响应。
文言：于明文网址行获取，空附头空文，每候限三万毫秒，返全响应。
赋曰：空札询来彼岸书，三十秒限候音初。归时首尾同携到，莫只单将正文疏。
：」
「获取」乃化「字符串」而「响应」也。
「获取」者会「网址」而
  「请求网址」于『GET』于「网址」于「罄」于『』于「三零零零零」
也。

「：
汉语：对明文网址提交给定正文，附加标头为空，每次等待超时三万毫秒；返回响应，不自动设置正文媒体类型。
文言：于明文网址提交所授文，空附头，每候限三万毫秒，返响应，不自定正文媒类。
赋曰：携文投向远江滨，每候三十秒问津。回札仍将全貌付，文类须由用者陈。
：」
「提交」乃化「字符串」而化「字符串」而「响应」也。
「提交」者会「网址」而会「正文」而
  「请求网址」于『POST』于「网址」于「罄」于「正文」于「三零零零零」
也。