ocaml - OCaml 中的“`”是什么？

Question

type t = {
      dir : [ `Buy | `Sell ];
      quantity : int;
      price : float;
      mutable cancelled : bool;
    }

Buy和Sell之前有一个`，是什么意思？

还有什么类型[ | ]？

score 7 · Accepted Answer

` 和 [] 语法用于定义多态变体。它们在精神上类似于内联变体定义。

在您的情况下， dir 可以取值 `Buy 或 `Sell，并且模式匹配会相应地工作：

let x = { dir = `Buy, quantity = 5, price = 1.0, cancelled = true }

match x.dir with 
| `Buy -> 1
| `Sell -> 2

1 回答 1