[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

852: [―{}@{}@{}-] 2011/12/25(日)19:16 AA×
>>846


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
852: [―{}@{}@{}-] [sage] 2011/12/25(日) 19:16:53.25 >>846 なんか誤解してるような気がする 1. IOは、純粋さを保ったまま入出力するための型である 2. IOはMonadのインスタンスである この二つの事実が両方成り立つのは別に必然ではないという意味で「たまたま」と言った モナドにならない型で入出力を表現することはできる(ストリームIOとか)し、 入出力と関係ないモナドももちろんある つまりHaskellの入出力を理解するのにモナドを知っている必要はないし、(助けにはなるが) モナドを理解するのにIOを知っている必要もない(助けにはなるが) http://echo.5ch.net/test/read.cgi/tech/1317958045/852
なんか誤解してるような気がする は純粋さを保ったまま入出力するための型である はのインスタンスである この二つの事実が両方成り立つのは別に必然ではないという意味でたまたまと言った モナドにならない型で入出力を表現することはできるストリームとかし 入出力と関係ないモナドももちろんある つまりの入出力を理解するのにモナドを知っている必要はないし助けにはなるが モナドを理解するのにを知っている必要もない助けにはなるが

---

上下前次1-新書関写板覧索設栞歴

---

あと 126 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.031s