豫言源码浏览器

yuyan · 412 行 · 22723 字节 · UTF-8
寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「引用」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「数据结构」之「多态列」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数学运算」之「数组转换」之书。

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

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

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

「：
汉语：类型构造器：按结果类型形成任务状态类型，包括待运行、运行中、成功和失败。
文言：依果类成任务状态之类，有待行、行中、成、败四者。
赋曰：四室先开待远舟，未行行去返归收。成珠败语皆能记，各有门签说始由。
：」
「异步任务状态」立化「元类型」而「元类型」也。
「：
汉语：构造任务的待运行状态，不包含执行结果。
文言：作任务待行之状，未藏其果。
赋曰：帆已裁成尚系舟，前途消息未归收。一签只记将行事，待到风轮转此洲。
：」
  「任务待运行」立承「甲」而「异步任务状态」于「甲」也。
    「：
汉语：构造任务正在运行的状态；等待输入输出期间也可能保持此状态。
文言：作任务行中之状，候输入输出时亦可仍之。
赋曰：舟在中途未返津，潮低系缆亦征人。只将行中书名册，未把停潮作果真。
：」
  「任务运行中」立承「甲」而「异步任务状态」于「甲」也。
    「：
汉语：将结果值包装为任务成功状态，供后续等待读取。
文言：以果裹为任务成功之状，以待后取。
赋曰：归舟有玉入新囊，已毕题签记外章。后来几度开函问，仍见前时那道光。
：」
  「任务成功」立（承「甲」而化「甲」而「异步任务状态」于「甲」）也。
    「：
汉语：将字符串错误包装为任务失败状态；等待该任务时会重新抛出此错误。
文言：以异文裹任务败状，后候之则复告其异。
赋曰：败报封成挂旧门，缘由字字待来人。若逢重问行程事，仍将原语告前因。
：」
  「任务失败」立（承「甲」而化「字符串」而「异步任务状态」于「甲」）也。

「：
汉语：类型构造器：按结果类型构成可等待任务类型，具体任务通过状态引用保存进度和结果。
文言：依果类成可候任务之类，其物以状态引藏行果。
赋曰：先立归囊定玉名，中藏状态记征程。候人只向同门问，成败皆由此处明。
：」
「异步任务」立化「元类型」而「元类型」也。
「：
汉语：用任务状态引用构造异步任务；共享同一引用的任务包装会观察同一状态。
文言：以状态引成任务，共引者同见其状。
赋曰：同系一签问远舟，几人开匣共归收。名封虽别根犹一，状态随源一处流。
：」
  「构造异步任务」立（承「甲」而化（「引用类」于（「异步任务状态」于「甲」））而「异步任务」于「甲」）也。

「：
汉语：类型构造器：按结果类型构成单步结果类型，表示已完成或需要等待输入输出。
文言：依果类成一步之类，或毕或候输入输出。
赋曰：一程分作两门开，或得珍珠或待来。未到收成须守信，有风再向渡头回。
：」
「异步步骤」立化「元类型」而「元类型」也。
「：
汉语：将结果包装为已完成步骤；结果自身仍可表示业务失败。
文言：裹果为已毕之步，果中亦或言事败。
赋曰：一步收成合小箱，其中成败各题章。毕时只说无须续，未许归来尽是香。
：」
  「异步步骤完成」立（承「甲」而化「甲」而「异步步骤」于「甲」）也。
    「：
汉语：用文件描述符和关注事件构造等待步骤，通知调度器在事件发生后重试操作。
文言：以描述符及所候事成候步，告调度者事至再施。
赋曰：门牌事目系帆旁，静待风来续旧航。不是空回催百遍，一灯报信再开樯。
：」
  「异步步骤等待输入输出」立（承「甲」而化「整数」而化「整数」而「异步步骤」于「甲」）也。

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

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

「：
汉语：等待记录的类型，保存文件描述符、关注事件及待恢复的任务。
文言：候项之类，藏描述符、所候事及待复之任务。
赋曰：一纸三栏记埠头，门名旗色与行舟。待逢风信寻原册，便可循签唤旧游。
：」
「输入输出等待项」立「元类型」也。
「：
汉语：依次接收文件描述符、关注事件和任务，构造等待记录；构造本身不注册或执行任务。
文言：合描述符、事及任务为候项，未登记，亦未施行。
赋曰：门牌事目共舟名，写作三栏一纸明。尚未交堂登记去，成签未是已启程。
：」
  「构造输入输出等待项」立化「整数」而化「整数」而化「待调度任务」而「输入输出等待项」也。

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

「：
汉语：将任务加入全局调度队列尾部，不立即执行；通过反向队尾保存入队顺序。
文言：置任务于调度队尾，不即行，以倒尾藏其次。
赋曰：新舟入队候江津，后来依次候前旌。未到扬帆催发处，先将次序记分明。
：」
「加入调度队列」乃化「待调度任务」而「有」也。
「加入调度队列」者会「任务」而
  鉴（「读引用」授以（（「列」于「待调度任务」）合（「列」于「待调度任务」））于「调度队列」）而
    有（「队首」与「反向队尾」）则
      「写引用」于「调度队列」于（「队首」与（「缀」于「任务」于「反向队尾」））
也。

「：
汉语：保存文件描述符、关注事件及待恢复任务，后续事件处理会将就绪任务入队。
文言：藏描述符、所候事及任务，事至则入调度之列。
赋曰：留名埠上候潮生，船号同旗一处明。未到风来休竞渡，潮回便唤旧舟行。
：」
「注册输入输出等待」乃化「整数」而化「整数」而化「待调度任务」而「有」也。
「注册输入输出等待」者会「文件描述符」而会「关注事件」而会「任务」而
  「写引用」
    于「输入输出等待项们」
    于（「缀」
      于（「构造输入输出等待项」于「文件描述符」于「关注事件」于「任务」）
      于（「读引用」授以（「列」于「输入输出等待项」）于「输入输出等待项们」））
也。

「：
汉语：从等待项列表中提取描述符与关注事件的对子列表，保持顺序，不执行任务。
文言：自候项循序取描述符与所候事为对，不行任务。
赋曰：候册抽来只两栏，门牌事目列灯前。未将使者催归路，先把所候逐项传。
：」
「输入输出关注项们」乃
  化（「列」于「输入输出等待项」）而
  （「列」于（「整数」合「整数」））
也。
「输入输出关注项们」者会「等待项们」而
  鉴「等待项们」而
    有「罄」则「罄」
    或有（「缀」于（「构造输入输出等待项」于「文件描述符」于「关注事件」于「任务」）于「余下」）则
      「缀」于（「文件描述符」与「关注事件」）于（「输入输出关注项们」于「余下」）
也。

「：
汉语：接收描述符与事件对子列表及超时毫秒数，调用原生多路等待，返回状态码与逐项事件列表；负超时表示无限等待。
文言：受诸符事与限毫秒，候众路，返状态及诸事；限负则无期。
赋曰：诸门同候一更钟，哪处先来哪处通。时限有穷归有刻，无期便待起帆风。
：」
「输入输出多路等待」乃
  化（「列」于（「整数」合「整数」））而
  化「整数」而
  （「整数」合（「列」于「整数」））
也。
「输入输出多路等待」者会「关注项们」而会「超时毫秒数」而
  虑「关注项数组」者
    「多态列转数组」授以（「整数」合「整数」）于「关注项们」而
    虑「原始结果」者
      「数组转对子」授以「整数」授以「混合数组引用类」
      于（《《外调》》名『豫言_异步_输入输出多路等待』传「关注项数组」与「超时毫秒数」）
    而
    （「原始结果」中「零」）与（「数组转多态列」授以「整数」于（「原始结果」中「一」））
也。

「：
汉语：按位置配对等待项与事件，非零事件对应的任务入队，零事件项继续等待；长度不一致抛出事故。
文言：候项与事逐对，事非零则入队，零则留候，数异则告事故。
赋曰：逐户传灯照夜阑，有声催起静依然。门牌若与来文错，须报参差莫乱传。
：」
「处理输入输出事件」乃
  化（「列」于「输入输出等待项」）而
  化（「列」于「整数」）而
  （「列」于「输入输出等待项」）
也。
「处理输入输出事件」者会「等待项们」而会「事件们」而
  鉴「等待项们」与「事件们」而
    有「罄」与「罄」则「罄」
    或有
      （「缀」于（「构造输入输出等待项」于「文件描述符」于「关注事件」于「任务」）于「余等待项」）
        与（「缀」于「事件」于「余事件」）
        则（
          若「等于」于「事件」于「零」
          则
            「缀」
              于（「构造输入输出等待项」于「文件描述符」于「关注事件」于「任务」）
              于（「处理输入输出事件」于「余等待项」于「余事件」）
          否则
            （虑「无」者「加入调度队列」于「任务」而「处理输入输出事件」于「余等待项」于「余事件」）
        ）
    或有「其他」则
      「发生事故」于『输入输出多路等待返回了错误数量的事件』
也。

「：
汉语：没有等待项时返回阴；否则无限等待事件、唤醒就绪任务并写回剩余项，成功返回阳，原生错误抛出事故。
文言：无候项则阴，有则无期候事，唤醒而存余，成阳败告事故。
赋曰：空埠无人便返舟，有人须待夜潮流。风来唤醒该行客，余者仍从旧处留。
：」
「推进输入输出」乃化「有」而「爻」也。
「推进输入输出」者会「无」而
  虑「等待项们」者
    「读引用」授以（「列」于「输入输出等待项」）于「输入输出等待项们」而
  鉴「等待项们」而
    有「罄」则「阴」
    或有（「缀」于「首项」于「余项」）则（
      虑「等待结果」者
        「输入输出多路等待」于（「输入输出关注项们」于「等待项们」）
        于（「减」于「零」于「一」）而
        虑「状态」者「等待结果」中「零」而
        若「等于」于「状态」于「零」
        则
          （
            虑「剩余等待项」者
              「处理输入输出事件」于「等待项们」于（「等待结果」中「一」）而
              虑「无」者
                「写引用」于「输入输出等待项们」于「剩余等待项」
              而
              「阳」
          ）
        否则
          「发生事故」于（『输入输出多路等待失败，状态码：』附（「整数表示」于「状态」））
    ）
也。

「：
汉语：按入队顺序执行一个任务并返回阳；队列为空时推进输入输出，连等待项也没有才返回阴。
文言：循队行一任务则阳；队空则进输入输出，皆无乃阴。
赋曰：队首一舟先启程，前无帆影候潮生。若连待客皆无有，便报空江暂息声。
：」
「执行下一个任务」乃化「有」而「爻」也。
「执行下一个任务」者会「无」而
  鉴（「读引用」授以（（「列」于「待调度任务」）合（「列」于「待调度任务」））于「调度队列」）而
    有（（「缀」于「任务」于「余下」）与「反向队尾」）则
      （虑「无」者「写引用」于「调度队列」于（「余下」与「反向队尾」）而虑「无」者「任务」于「元」而「阳」）
    或有（「罄」与「罄」）则（若「推进输入输出」于「元」
      则
        「执行下一个任务」于「元」
                              否则
                                「阴」）
    或有（「罄」与「反向队尾」）则（
      虑「无」者
        「写引用」于「调度队列」于（（「反转」授以「待调度任务」于「反向队尾」）与「罄」）
      而
      「执行下一个任务」于「元」
    ）
也。

「：
汉语：把操作加入单线程协作调度队列并返回任务，不立即运行；执行时缓存成功结果或字符串异常。
文言：置术于单线程协作之队而还任务，不即行；行时藏成值或异文。
赋曰：种下新苗候雨来，未曾落果莫先催。风轮转到枝头日，成败同封待手开。
：」
「派生」乃承「甲」而化（化「有」而「甲」）而（「异步任务」于「甲」）也。
「派生」者受「甲」而会「操作」而
  虑「状态引用」者
    （「新引用」授以（「异步任务状态」于「甲」）于（「任务待运行」授以「甲」））而
    虑「无」者
      「加入调度队列」于（会「无」而
        「尝试运行」授以「有」
        于（会「无」而
        虑「无」者
          「写引用」于「状态引用」于（「任务运行中」授以「甲」）而
          虑「结果」者「操作」于「元」而
          「写引用」于「状态引用」于（「任务成功」于「结果」））
          于（会「错误」而「写引用」于「状态引用」于（（「任务失败」授以「甲」）于「错误」）））
    而
    「构造异步任务」于「状态引用」
也。

「：
汉语：把返回异步步骤的操作排队；步骤要求等待时注册事件，唤醒后重新调用操作，最终缓存成功值或异常。
文言：排施步骤之术，须候则登记，事至复施，终藏成值或异文。
赋曰：试渡潮低暂系船，风来重试向江前。几回候事非空转，果到归囊意自全。
：」
「派生可等待」乃
  承「甲」而
  化（化「有」而（「异步步骤」于「甲」））而
  （「异步任务」于「甲」）
也。
「派生可等待」者受「甲」而会「操作」而
  虑「状态引用」者
    （「新引用」授以（「异步任务状态」于「甲」）于（「任务待运行」授以「甲」））而
  「：
汉语：派生可等待的局部重试函数；标记运行中并执行一步，完成则缓存结果，等待则注册自身，异常则缓存失败。
文言：局部再试之术，记行中而施一步，毕藏果，候则登记自身，异藏败。
赋曰：一步行来验所逢，成收败记候来风。留名仍是原来客，信至重行此路通。
：」
递归虑「尝试运行任务」其化「有」而「有」者
  会「无」而
  「尝试运行」授以「有」
    于（会「无」而
    虑「无」者「写引用」于「状态引用」于（「任务运行中」授以「甲」）而
    鉴「操作」于「元」而
      有（「异步步骤完成」于「结果」）则
        「写引用」
          于「状态引用」
          于（「任务成功」于「结果」）
      或有（「异步步骤等待输入输出」于「文件描述符」于「关注事件」）则
        「注册输入输出等待」于「文件描述符」于「关注事件」于「尝试运行任务」
    ）
    于（会「错误」而「写引用」于「状态引用」于（（「任务失败」授以「甲」）于「错误」））
而
虑「无」者「加入调度队列」于「尝试运行任务」而
「构造异步任务」于「状态引用」
也。

「：
汉语：将值包装成已成功完成的任务，不入调度队列，可重复等待读取。
文言：裹值为已成任务，不入队，可再候而取之。
赋曰：果熟封来不待春，开囊即得掌中珍。何须再入催花队，几度来询一样真。
：」
「立即完成」乃承「甲」而化「甲」而（「异步任务」于「甲」）也。
「立即完成」者受「甲」而会「值」而
  「构造异步任务」于（「新引用」授以（「异步任务状态」于「甲」）于（「任务成功」于「值」））
也。

「：
汉语：只检查任务状态，成功和失败都视为完成；不推进调度，待运行和运行中返回阴。
文言：但验状态，成败皆毕则阳，待行或行中则阴，不进调度。
赋曰：只问征途毕未曾，成归败返总收灯。不因探问催舟动，尚在途中报未能。
：」
「完成了吗」乃承「甲」而化（「异步任务」于「甲」）而「爻」也。
「完成了吗」者受「甲」而会「任务」而
  鉴「任务」而
    有（「构造异步任务」于「状态引用」）则（
      鉴（「读引用」授以（「异步任务状态」于「甲」）于「状态引用」）而
        有「任务待运行」则「阴」
        或有「任务运行中」则「阴」
        或有（「任务成功」于「值」）则「阳」
        或有（「任务失败」于「错误」）则「阳」
    ）
也。

「：
汉语：推进协作调度直到任务结束；成功返回缓存值，失败重抛异常，无可运行任务时报告停滞或等待环；同一任务可重复等待。
文言：进协作之队以候毕，成返藏值，败复告异，路绝或相候成环则告事故；可再候。
赋曰：此舟未到助他舟，轮转千帆共一流。待得归囊开有物，重来还可取前收。
：」
「等待」乃承「甲」而化（「异步任务」于「甲」）而「甲」也。
「等待」者受「甲」而会「任务」而
  鉴「任务」而
    有（「构造异步任务」于「状态引用」）则（
      鉴（「读引用」授以（「异步任务状态」于「甲」）于「状态引用」）而
        有「任务待运行」则（
          若「执行下一个任务」于「元」
          则
            「等待」授以「甲」于「任务」
          否则
            「发生事故」于『异步调度停止：任务尚未完成，但已无可运行任务』
        ）
        或有「任务运行中」则（
          若「执行下一个任务」于「元」
          则
            「等待」授以「甲」于「任务」
          否则
            「发生事故」于『异步任务死锁：正在运行的任务等待自身或形成等待环』
        ）
        或有（「任务成功」于「值」）则「值」
        或有（「任务失败」于「错误」）则
          「发生事故」于「错误」
    ）
也。

「：
汉语：尝试执行下一个任务，返回元；无可运行任务但有输入输出等待项时可能阻塞等待事件。
文言：试行次任务而归元；队空而有候事者，或塞以待之。
赋曰：暂停己步让人行，一棹先开一棹承。若剩潮头还未起，也须同候水波生。
：」
「让出」乃化「有」而「有」也。
「让出」者会「无」而
  虑「是否执行」者「执行下一个任务」于「元」而
  「元」
也。

「：文言：限时候事，时至即还。汉语：供监视器定时刷新；不改变普通让出与等待的阻塞语义。：」
「：
汉语：有排队任务时执行让出；队列为空时最多按给定毫秒数等待输入输出并将就绪任务入队。本次不执行刚入队任务，时限不约束已有任务耗时。
文言：队有则让出，队空则限时候事而入就绪者；新入者不即行，旧任务用时不受此限。
赋曰：有舟先渡空舟候，漏尽归来报晓钟。新客只排今夜队，尚须来转借东风。
：」
「限时让出」乃化「整数」而「有」也。
「限时让出」者会「毫秒」而
  鉴（「读引用」授以（（「列」于「待调度任务」）合（「列」于「待调度任务」））于「调度队列」）而
    有（「罄」与「罄」）则（
      虑「项们」者
        「读引用」授以（「列」于「输入输出等待项」）于「输入输出等待项们」而
        虑「结果」者
          「输入输出多路等待」于（「输入输出关注项们」于「项们」）于「毫秒」而
        若「等于」于（「结果」中「零」）于「零」则
          「写引用」
            于「输入输出等待项们」
            于（「处理输入输出事件」于「项们」于（「结果」中「一」））
        否则
          「发生事故」授以「有」于『限时输入输出等待失败』
    ）
    或有「其余」则「让出」于「元」
也。

「：
汉语：派生操作并等待结果，驱动协作调度；返回操作结果或传播任务异常。
文言：派生其术而候之，进协作调度，返其果或告其异。
赋曰：先将一事入行舟，再候归程助众流。成败都从终处取，携回此渡便停留。
：」
「运行」乃承「甲」而化（化「有」而「甲」）而「甲」也。
「运行」者受「甲」而会「操作」而
  「等待」授以「甲」于（「派生」授以「甲」于「操作」）
也。