関数型プログラミング言語Haskell Part8at TECH関数型プログラミング言語Haskell Part8 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト200:196 07/11/18 14:27:36 >>199 なるほど、値(この場合Int)に依存してどういうインスタンスのコードが 実行されるかが決定する場合があるってことか 201:デフォルトの名無しさん 07/11/18 14:34:20 1:2:3:[] -> [1,2,3] ↑がこうなるのはわかるんですが 1:2:3 -> ? とやった場合はどんなデータができるんでしょうか? 202:186 07/11/18 14:42:10 3はリスト型じゃないからエラーになるんじゃないかな？ 203:デフォルトの名無しさん 07/11/18 14:43:06 あ、名前欄消すの忘れてた…… 204:デフォルトの名無しさん 07/11/18 14:46:12 >>201 (:) :: a -> [a] -> [a] 205:デフォルトの名無しさん 07/11/18 14:48:27 >>201 やってみりゃいいじゃん。それで挙動に疑問があったらここでもう一度聞いてみな。 206:201 07/11/18 15:25:47 やってみたんですがテキストに書いてコンパイルしようとするとエラーに なるのにghciで:t 1:2とやると 1:2 :: (Num t, Num [t]) => [t] というなんだかよくわからないメッセージが出ます。 :tだと型チェックしないのかなと思ったんですが :t putStr 1 とやると今度はきちんとエラーが出ます。 ・1:2 :: (Num t, Num [t]) => [t] は一体どういう意味なのか ・なんで:t 1:2はエラーにならないのに:t putStr 1はエラーになるのか ↑2つになる理由は何故なんでしょうか? 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch