第 12 章 語言擴展

20 空變體類型

(於 4.07.0 版本引入)

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

此擴展允許使用者定義空變體。空變體類型可以通過模式匹配的反駁情況消除。

type t = | let f (x: t) = match x with _ -> .
Copyright © 2024 Institut National de Recherche en Informatique et en Automatique