関数型プログラミング言語Haskell Part9
レス数が900を超えています。1000を超えると表示できなくなるよ。
0943デフォルトの名無しさん
2008/12/27(土) 16:22:29newtype IO a = IO (State# RealWorld -> (# State# RealWorld, a #))
IOの実体は現実世界の状態をとって、IO動作実行後の状態と型aをもつ値の組を返す関数
と読めるけどいまいち釈然としないなー
まともに理解するには圏論や時相論理とかの知識がいるのかな？
レス数が900を超えています。1000を超えると表示できなくなるよ。