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可以採取值`買入或賣出`和模式匹配相應的工作：

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

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