私は助け（ハスケル）タイプ

Question

先週の金曜日、私の先生が私にこの問題を与えるための住民必要があります。

はタイプ

(a -> b -> c) -> b -> a -> c 

のための住民を与え、私はそれが

を要求正確に理解していないが

EDIT：エクササイズが完了しました。与えられた型は、デフォルトのhaskell flip関数に対応します。あなたの答えをありがとう。

Answer 1

「型の住人」とは、ある種の型を持つ式を意味します。例えば、2は、Intの住人であり、["Foo","Bar"]は、[String]の住人である。

つまり、先生は、タイプが(a -> b -> c) -> b -> a -> cのものを書くように求めています。

私はそれが宿題なので、あなたのためにこの問題を解決することはできませんが、そのような関数の作成に問題がある場合は、最初にすべての引数と型を書き出し、完了してください。