- 49 名前：デフォルトの名無しさん [2007/11/06(火) 22:35:47 ]
- >>46
IOモナドを使った関数も参照透明だよ。
個人的には、IOモナドを「副作用を閉じ込める」と表現したり、
値を取り出せるかどうかを云々しても混乱するだけだと思う。
むしろ、IO aとaは全然別のものであるという認識を推奨。
実際、IO aの中にa型の値など入っていない。
この辺読んでみたらどうだろう。
ttp://www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/haskell_io.html
