関数型プログラミング言語Haskell Part28at TECH関数型プログラミング言語Haskell Part28 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト616:デフォルトの名無しさん 15/06/21 21:08:54.24 pK1SDj/K.net たしかすごHにもそんな説明あったな 617:デフォルトの名無しさん 15/06/21 21:12:32.01 7XsQ/1hl.net 607を補足すると、 f :: X -> Y -> Z は 「X型変数とY型変数を取ってZ型の値を返す関数」 というより 「X型変数を一つ取って『Y型変数を一つ取ってZ型の値を返す関数』を返す関数」 ということだな。 言葉で書くと却ってわかりづらいな。 618:デフォルトの名無しさん 15/06/21 21:12:49.77 HwEzsZwl.net 正確ではなかったので訂正しておく。 関数型の値としての関数は常に1引数だ。 データ構築子はそもそもこの意味の関数ではない。 619:デフォルトの名無しさん 15/06/21 21:14:20.58 HwEzsZwl.net あと、関数は常に1引数なのでHaskellにカリー化はそもそも存在しない。 620:デフォルトの名無しさん 15/06/21 21:22:10.14 7XsQ/1hl.net >>611 そのように言われてしまった curry :: ((a, b) -> c) -> a -> b -> c さんの気持ちを答えよ（140字） 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch