この関数の型プロファイルを定義する方法は？

Question

私は、この関数の型プロファイルを定義する必要があります。

twice f x = f (f x); 

結果は以下でなければなりませんが、私は本当に、なぜ得ることはありません。

('a -> 'a) -> 'a -> 'a 

Answer 1

(a -> a) -> a -> aが正しい答えです。なぜそれを見つけるために断片に分割してみましょう。言って、これらの引数の最初の

a -> c -> dは単項関数である - - 署名は三つの部分がありますので、

1. あなたの関数は、二つの引数、fとxを取るa = (a -> b)を作る（aは、任意の種類のことを覚えておいてください、限り、それは署名に一度だけ表示されます）と署名がtwiceの(a -> b) -> c -> d
2. 結果のように見えるように、その最初の引数の結果と同じである - d = bと署名を行い(a -> b) -> c -> b
3. f引数としてtwiceの第2引数を取る - これはc = aなり、署名は次のようになり：(a -> b) -> a -> b
4. twiceはa = bことを意味し、それ自身の出力に適用されている - これは、最終的な署名(a -> a) -> a -> a