ocamlでのマッチングはコンストラクタを呼び出しますか？

Question

のは、私はOCamlの中でこのように型を定義しましょう：

type 'a foo = My_none | Bar of 'a;; 

let a = Bar 4;; 

"と呼ばれる" Barコンストラクタを作成するとき。

次の関数では、一致するものがコンストラクタを呼び出すか、または単にコンストラクタを呼び出さずにパターンを「認識」しますか？

let get_bar x = match x with 
    | My_none -> failwith "None" 
    | Bar z -> z;; 

Answer 1

マッチングは、コンストラクタを呼び出す、または単にコンストラクタを呼び出すことなく、パターンを「認識」しますか？

後者。 Bar zと一致させると、新しいBar値は作成されません。 xがBarの値であるかどうかをチェックします。