OCamlの "` "とは何ですか？ <strong>購入</strong>と<strong>売る</strong>前<strong>`</strong>があり

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