前スレ>>973
なんでIOモナドの話に世界を持ち出したらダメなの？
なんかの論文にも出てた気がするけど。
concurrencyのせい？Concurrent Haskellの論文にはπ計算とか出て来て正直分からん。
(ふつけるまだ読んでない私が言うのも何だけど

type IO a = State World a みたいな感じの理解でとりあえずおいとくのはアリだと思うんだけど。