ocaml - OCaml 中的 "` 是什么？

Question

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

有一个 ` 之前 购买 和 卖 ， 这意味着什么？

还有什么类型 [ | ] ?

Answer 1

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

http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual006.html#toc36

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

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

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