2010-08-29から1日間の記事一覧

IO 型

IO a 型を World -> (a, World) 型と考えると、return :: a -> IO a の型は a -> (World -> (a, World) 、(>>=) :: IO a -> (a -> IO b) -> IO b の型は (World -> (a, World)) -> (a -> (World -> (b, World))) -> (World -> (b, World)) ということか