第 12 章 语言扩展

20 空变体类型

(在 4.07.0 中引入)

类型表示::= ...
 ∣ = |

此扩展允许用户定义空变体。空变体类型可以通过模式匹配的 refutation case 消除。

type t = | let f (x: t) = match x with _ -> .
版权所有 © 2024 法国国家信息与自动化研究院