セカイノカタチ

勉強会に行ったり、ブログや本を読んだりいろいろしたけど、モナドってなんなんすかね。(´・ω・`)状態だった僕ですが、分解して、図解してみたら少しわかった気がするので、エントリーしてみる。「プログラミングHaskell」のP106によると、IOモナドとは、以下の形をしているらしい*1。 type IO a = World -> (a, World) そ…