ハスケルの多型関数

Question

パラメトリック多形関数foo :: a -> a -> aがあります。結果の式 foo arg1 arg2 arg3 arg4は、Boolとなるように4つの引数を指定します。

-- foo :: a -> a -> a function is defined in a code 
arg1 = undefined 
arg2 = undefined 
arg3 = undefined 
arg4 = undefined 

Answer 1

ここはヒントです。

機能fooは、そのタイプがa -> a -> aであるため、2つの引数をとります。しかし、foo arg1 arg2 arg3 arg4はと4つの引数を渡します。それはどうやってできますか？

まあ、我々はfoo arg1 arg2の結果は二つの引数を期待して機能（bar）である場合にのみ動作することができますfoo arg1 arg2 arg3 arg4

として

let bar = foo arg1 arg2 
in bar arg3 arg4 

を解釈することができます。しかし、barのタイプは、fooのタイプからaでなければならないことがわかっています。したがって、タイプ変数aは、バイナリ関数のタイプ、すなわちb -> c -> dのように選択されなければならない。 foo :: a -> a -> a場合要約

は、その後、我々はまた、あなたが何をしようとしなかった

foo :: (b -> c -> d) -> (b -> c -> d) -> (b -> c -> d)