07/11/06 22:35:47
>>46
IOモナドを使った関数も参照透明だよ。
個人的には、IOモナドを「副作用を閉じ込める」と表現したり、
値を取り出せるかどうかを云々しても混乱するだけだと思う。
むしろ、IO aとaは全然別のものであるという認識を推奨。
実際、IO aの中にa型の値など入っていない。
この辺読んでみたらどうだろう。
URLﾘﾝｸ(www.ice.nuie.nagoya-u.ac.jp)
07/11/06 22:35:47
>>46
IOモナドを使った関数も参照透明だよ。
個人的には、IOモナドを「副作用を閉じ込める」と表現したり、
値を取り出せるかどうかを云々しても混乱するだけだと思う。
むしろ、IO aとaは全然別のものであるという認識を推奨。
実際、IO aの中にa型の値など入っていない。
この辺読んでみたらどうだろう。
URLﾘﾝｸ(www.ice.nuie.nagoya-u.ac.jp)