関数型プログラミング言語Haskell Part9

関数型プログラミング言語Haskell Part9 at TECH

160:デフォルトの名無しさん
08/06/01 10:59:26
>>140は
　　A -> (B -> C)
というふうに切り出してしまったけど、これは本来の
　　A → ((B → C) → D)
という結合関係を無視してる（「A -> (B -> C)」という型を扱うみたいに書いている）。
ってのが>>142でしょ。

カリー化の影響として、「複数の引数をとる」
　　(A × (B → C)) → D
ことと、「関数を返す」ことの、どちらに主眼があるかが不明瞭になるってのがあると思うね。

次ページ

続きを表示

1を表示