IOモナド

IOモナドは副作用を扱い、その副作用がIOモナドの外にもれないように、一度IOモナドの中にいれた値は原則として取り出すことはできない

「副作用を伴う」という文脈を扱う

PureScriptでは、「Effectモナド」と言う（たぶん）

型のイメージ

code:hs

type IO a = World -> (a, World)

これはあくまでもイメージ

内部実装は処理系の裏側に隠されている

実装

code:hs

instance Monad IO where

m >> k = m >>= \ _ -> k

return = returnIO

(>>=) = bindIO

fail s = failIO s

code:hs

newtype IO a = IO (RealWorld -> (RealWorld, a))

instance Monad IO where

return a = IO $ \w -> (w, a)

(IO h) >>= f = IO $ \w ->

let (nw, a) = h w

(IO g) = f a

in g nw

関連する関数

引数の文字列を画面に出力し、改行する

putStr

引数の文字列を画面に出力し、改行しない

putChar

引数の文字を画面に出力する

引数の値を文字列化し、画面に出力する

入力を一行読み込む

code:hs

name <- getLine -- 一行読んで変数nameに束縛

参考

命令をデータとして表現する

なに？

IO野中を覗く