[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
841(2): [―{}@{}@{}-] デフォルトの名無しさん [sage] 2011/12/25(日) 18:48:48.79 AAS
まずモナドとIOモナドを区別してくれ
純粋さを保ったまま入出力をする仕組みがHaskellにはあって、IOという名前の型が使われる
モナドというのはある種の型を抽象的に扱う枠組み
(どういう型をどうやって扱うのかは一言では説明できない)
で、IOはたまたまモナドの枠組に適合する(ので、IOモナドと呼ばれる)
で、モナドが知りたいの？IOが知りたいの？
844(1): デフォルトの名無しさん [] 2011/12/25(日) 19:03:59.38 AAS
すぐ反応してくれてうれしいな
>>840840(1): デフォルトの名無しさん [sage] 2011/12/25(日) 18:41:00.60 AAS
「こういうの」って何だ？
具体的に訊いてくれ
モナドでやりたいことは何なの？ってことなんだが。
関数型にどうのこうのって書いたんだが、そういう「目的」っていうの？
そういうのが知りたいんだが。
いろんなモナドがあるようなんで、それがわかいにくいんだが。
>>841
IOモナドはモナドのひとつじゃないん？
その「純粋さを保ったまま入出力をする仕組み」がモナドなんやろ？
純粋さって関数型のってこと？もしそうなら、どの程度保てるものなの？
知りたいのはモナド。IOがその代表ならそれも知りたい。
>>842842(1): デフォルトの名無しさん [sage] 2011/12/25(日) 18:51:02.48 AAS
関数に副作用があるかどうかが型を見るだけで解るのは利点
それは型指定を工夫したらできるんじゃないん？
こんな質問じゃったんじゃが、みなスマンのう
846(3): デフォルトの名無しさん [sage] 2011/12/25(日) 19:05:37.16 AAS
>>841
> で、IOはたまたまモナドの枠組に適合する(ので、IOモナドと呼ばれる)
なるほど。
いつまでもIOモナドは難しいと言われ続ける理由がわかったよ。
本当にIOモナドは「たまたま」モナドの枠組みに適合してるの？
わざわざモナドとしての宣言をしているのを「たまたま」というの？
わざわざ色々なIOをモナド則にあわせて整理して宣言しているのを
「たまたま」とか言って誤魔化しているわけでしょ。
学ぶ人達の能力を信用していないから、そうやって誤魔化すわけだ。
そうやって学ぶ人達を信用せずに、ありのままを伝えず、
取って着けたようなすぐバレるデッチアゲばかり言うから、
学ぶ人達はどの言葉を信用すればいいかわからなくなって、
「Haskellは難しい」という結論になっているんじゃないの？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s