アクション
IOにおけるmonadic computation
割と雑に使っている..
IOに関係ないときも「アクション」と呼んだりしている
基本的な型を包み込んでいるモナドの値
それぞれのMonad型クラスに固有の方法で、モナドを生み出
あれ、やっぱ「アクション」ってIOだけのものだったりするの？
IO a のみのことをアクションって呼ぶの？アクションは純粋ではない
例えばgetLineは毎回異なる値を返す
アクションの中でしか、他のアクションから値を取り出せない
つまりdoの中でしか。
副作用を扱うようなもののことを関数と区別してアクションと呼ぶ
結果が変化する可能性があるものなど
乱数
時刻取得
ファイル入出力
画面への描画
do式全体もアクションになる
Haskellは
main というIOアクションしか実行できないだからいつも
main = do って書いてる main :: IO () アクションを返す関数
putStrLn :: Steing -> IO () はアクションではないactionを作る関数である
IO () がアクションhaskellpromptLine :: String -> IO String
promptLine prompt = do
putStr prompt
getLine副作用
Haskellは参照透過性のない関数は定義できない
乱数など、状態を持ち合わせ毎回異なる値を返す関数は定義できない
アクションから値を取り出す方法
<- を使うdoの中でしか使えない
hsmain = do
r <- hogeAction -- actionから値を取り出して、`r`に束縛
print r -- その後、rを出力 =<< を使う一時変数を経由せずにアクションから値を取り出して関数に適用させる
「アクション」と「アクションを返す関数」を結びつける
hsmain = do
print <- hogeAction -- エラー
print =<< hogeAction >>= bindと呼ぶ
逆向き
「アクション」と「アクションを返す関数」を結びつける
hsmain = do
hogeAction >>= print
以下の3つはすべて同じ
hsmain = do
-- 一度変数を経由する
r <- hogeAction
print r
-- =<<を使う
print =<< hogeAction
-- bindを使う
hogeAction >>= print main は「アクションが束縛された変数」である >=> actionを返す関数を合成
<=< unit ()
空のタプルのことを「unit」と呼ぶ
() : unitアクションの種類
IO
IO Int (数値が取り出せるアクション), IO Char などの型があるhs-- 数値が取り出せるIO Int型を返す関数
dice :: IO Int
dice = getStdRandom $ randomR (1,6)
main = do
print =<< diceアクションを返す関数
return
shellPrelude> :t return
return :: Monad m => a -> m aprint
IOモナドを返す
文字が表示されるのは、関数が呼ばれるタイミングではない
関数が返したアクションから値を取り出すタイミングの副作用
hsprint -- 関数
print "abc" -- 関数を呼んで、戻り値がアクションshellPrelude> :t print
print :: Show a => a -> IO ()参考