寻观「标准库」之书。

「：文言：日期检：取今之日时，验其形。汉语：示例程序 日期检查：读硬件实时钟（世界协调时），检查 当前日期时间表示 的结果形如 “YYYY-MM-DD hh:mm:ss”（长 19，第 5、8 位是“-”，第 11 位是空格，第 14、17 位是“:”），打印 “日期：” 后接前 13 个字符（年月日与小时；分秒随运行时刻而变，不便逐字核对）。壳的 日期 命令打印完整的当前日期时间。用法：运行 /程序/日期检查.wasm。：」
「在此位是」乃化「整数」而化「字符串」而化「字符串」而「爻」也。
「在此位是」者会「位」而会「串」而会「字」而
  「串相等」于（「获取子字符串」于「位」于（「加」于「位」于「一」）于「串」）于「字」
也。

「形正」乃化「字符串」而「爻」也。
「形正」者会「串」而
  「且」
    于（「等于」于（「串长度」于「串」）于「一九」）
    于（「且」
      于（「在此位是」于「四」于「串」于『-』）
      于（「且」
        于（「在此位是」于「七」于「串」于『-』）
        于（「且」
          于（「在此位是」于「一零」于「串」于『 』）
          于（「且」于（「在此位是」于「一三」于「串」于『:』）于（「在此位是」于「一六」于「串」于『:』）））））
也。

虑「今」者
  「时间」之「当前日期时间表示」于「元」而
若「形正」于「今」则
  「打印行」于（『日期：』附（「获取子字符串」于「零」于「一三」于「今」））
否则
  「打印行」于（『日期格式不对：』附「今」）。
