OCamlのこれら二つの関数定義はどのように異なっていますか？

Question

次のように私は、いくつかの実装を見てきました：

let rec fact = 
    fun n -> 
    if n <= 0 then 1 else n * fact (n - 1) 

別の実装は次のとおりです。

let rec fact n = 
    if n <= 0 then 1 else n * fact (n - 1) 

これらの2つのスタイルとの間の差がある場合、誰が教えてもらえますか？

Answer 1

これらの定義は同等です。表記

let rec f a b c = <expr> 

は（のためのシンタックスシュガー）を書くのに便利な方法です：

let rec f = fun a b c -> <expr> 

あなたはこの見出しローカル定義下、section 6.7.1 of the OCaml manualで説明を見つけることができます。

Answer 2

構文上の違いはありません。第2の形式は、第1の形式と等価であると定義される。

通常、2番目の形式が文章上の理由から好まれます。letの行で、関数を定義していることがわかります。最初のものでは、それを理解するためにfunを読まなければなりません。