类型

类型型

描述

匣子类型构造器。内部表示为 (数组型 甲)。

定义

(定义黑盒类型 (匣子型 甲) (数组型 甲)
  (作匣子 (-> (匣子型 甲)))
  (匣子为空 (-> (匣子型 甲) 真假型))
  (匣子存 (-> (匣子型 甲) 甲 空值型))
  (匣子取或有 (-> (匣子型 甲) (或有型 甲))))

自动生成

(声明 作匣子 (泛型 (甲) (-> (匣子型 甲))))
(声明 匣子为空 (泛型 (甲) (-> (匣子型 甲) 真假型)))
(声明 匣子存 (泛型 (甲) (-> (匣子型 甲) 甲 空值型)))
(声明 匣子取或有 (泛型 (甲) (-> (匣子型 甲) (或有型 甲))))
(声明 匣子取 (泛型 (甲) (-> (匣子型 甲) 甲)))

例子

(定义 匣子 (作匣子))
(匣子为空 匣子)    ;; => 真
(匣子存 匣子 42)
(匣子为空 匣子)    ;; => 假
(匣子取或有 匣子) ;; => (有 42)
(匣子取 匣子)       ;; => 42