OCaml synaxでは '$'は何を意味しますか？

Question

OCamlの新機能です。

let main_t = Term.(pure main $ address $ port $ pid_file $ log_file $ dbConf) 

「$」記号の意味は何ですか？

Answer 1

OCamlでは、独自の接尾辞と接頭辞演算子を定義することができます。 cmdlinerライブラリーではオペレータ$は、次のように定義されます

val ($) : ('a -> 'b) t -> 'a t -> 'b t 
    (** [f $ v] is a term that evaluates to the result of applying 
     the evaluation of [v] to the one of [f]. *) 

、実際に（Cmdlinerにapp命名）apply機能の中置形です。引数を累積するために使用されます。基本的に、フォームpure f $a $b $c $dの構築物は、一般的に、このなど、タイプa、b 4つの引数を取る関数fを受け入れcとd、所与、aタイプa Term.tの値であること、b型b Term.tの値でありますタイプセーフな可変関数を構築するためのパターンです。詳細については、パターンについてはApplicative Programming with Effects用紙をお読みください。

Answer 2

標準的なocamlには特別な意味はありません。あなたの場合、これは、特定の構文が定義される用語モジュールから来ています。 （どのモジュールですか？）

Answer 3

$のOCamlには定義済みの意味はありません。これは中置演算子として定義できます。意味はあなたが使っている図書館から来なければなりません。

私が推測しなければならないのは、$が低優先順位関数アプリケーション演算子として定義されていると思います。これはHaskellでこれに使用されており、しばしば非常に便利です。