値の制限：タイプ 'bar'がジェネリックタイプを持っていると推測されました

Question

以下のスニペットでは、fとgという方法の機能を説明することができません。fooは機能しません。それをするために。

let f a b = a,b 
let g (a : 'a) (b : 'a) = a 

let (>!) f1 f2 = 
    fun a b -> 
     let (x,y) = f1 a b 
     f2 x y 

let foo = fun a b -> (f >! g) a b 
let bar = f >! g 

barが機能しない理由誰もが、私には説明できますか？ fooにもジェネリックタイプがあるとすれば、それは私には意味がありません。

Answer 1

fooは関数であり、barは値です。はい、関数型の値ですが、依然として値です。そこには微妙な違いがあります。

fooは、fun ->の直後に表示されるので、fooが関数であることを「見る」ことができます。letの直後です。

barは、真の値です。これは、別の関数（演算子>!）を呼び出した結果です。 F＃には、一般的な引数が明示的に指定されていない限り、値（別の関数とは異なる）が汎用型を持つことができないという（日常的な意味での）ルールがあり、それを効果的に "型関数"にします。

これはF＃に特有のものではありませんが、他の非純粋なMLの亜種もこれを持っています（これは少し複雑です）。 HereはF＃のこのルールの説明であり、here'sのSMLの説明です。