[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
842(1): デフォルトの名無しさん [sage] 2011/12/25(日) 18:51:02.48 AAS
関数に副作用があるかどうかが型を見るだけで解るのは利点
844(1): デフォルトの名無しさん [] 2011/12/25(日) 19:03:59.38 AAS
すぐ反応してくれてうれしいな
>>840
840(1): デフォルトの名無しさん [sage] 2011/12/25(日) 18:41:00.60 AAS
「こういうの」って何だ？
具体的に訊いてくれ
モナドでやりたいことは何なの？ってことなんだが。
関数型にどうのこうのって書いたんだが、そういう「目的」っていうの？
そういうのが知りたいんだが。
いろんなモナドがあるようなんで、それがわかいにくいんだが。
>>841
841(2): [―{}@{}@{}-] デフォルトの名無しさん [sage] 2011/12/25(日) 18:48:48.79 AAS
まずモナドとIOモナドを区別してくれ
純粋さを保ったまま入出力をする仕組みがHaskellにはあって、IOという名前の型が使われる
モナドというのはある種の型を抽象的に扱う枠組み
(どういう型をどうやって扱うのかは一言では説明できない)
で、IOはたまたまモナドの枠組に適合する(ので、IOモナドと呼ばれる)

で、モナドが知りたいの？IOが知りたいの？
IOモナドはモナドのひとつじゃないん？
その「純粋さを保ったまま入出力をする仕組み」がモナドなんやろ？
純粋さって関数型のってこと？もしそうなら、どの程度保てるものなの？
知りたいのはモナド。IOがその代表ならそれも知りたい。
>>842
それは型指定を工夫したらできるんじゃないん？
こんな質問じゃったんじゃが、みなスマンのう
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s