OCamlの引数名

Question

：引数の

ラベルしばしば それらのための変数名と同じです。 OCamlは、この場合の略語を提供します。以下は 同等：

let f ~name1:name2 ~name2:name2 = name1+name2 
let f ~name1 ~name2 = name1 + name2 

は私が

Error: Unbound value name1 
Hint: Did you mean name2? 

私は最初の行ではない場合、彼らは同等だか理解していない、私はこのエラーを取得する最初の行に置きます有効な関数です。

Answer 1

syntax of function argumentsでは、異なる表現が可能です。

機能fに評価される式exprは、次の構文は、次の規則で許可されて与えられる：

• expr arg（式がarg所与）：値vにargを評価します。 fはいくつかのタイプaとbためlbl:a -> b型を持つ場合にのみ、結果は、引数で評価f ~lblの値である：結果は（lbl名前値を与えられる）引数v

• expr ~lblで評価fの値でありますa;またはfのタイプが?lbl:a -> bの場合（lblの場合はタイプチェックの場合はaとする必要があります）。 （式arg所与）

• expr ~lbl:arg

  ：これは（exprとargの評価順序は未定義であることを除いて）let lbl = arg in exp ~lblと同じものです。

• expr ?lbl（lbl名前値を与えられる）：いくつかのタイプaとbため?lbl:a -> b型を持つ場合にのみf、結果は、引数aで評価f ~lblの値です。 lblはタイプチェックのためにタイプa optionである必要があります。これは主に、オプションの引数をある関数から別の関数に転送するときに表示されます。 （式arg所与）

• expr ?lbl:arg

  ：これは（exprとargの評価順序は未定義であることを除いて）let lbl = arg in exp ?lblと同じものです。