関数型プログラミング言語Haskell Part8
at TECH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞの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つになる理由は何故なんでしょうか?
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5219日前に更新/201 KB
担当:undef