StateTだとぉ〜！ - あしひきの

ちょっとどうやってまとめていいか整理できてゐないのだが
とにかく今感動してゐるので書き殘しておきたい

ゲーム制作でなくともアプリかなんかつくるんであれば
色々と画面に表示（描画）しながら何らかの「状態」を變化させていくだらう

Haskell ではその「状態」を表すデータ型をつくってそれを函數に渡しながらそのデータ型に基いた新たなデータをつくり「状態」を變化させていったりできる

だがつねに「今」の状態を示すデータを受けとってそれをもとに新しい「状態」データを作成しまたそれを次の函數に渡していく〜といふのはなんといふか「必ずやる」ことなのに毎回函數に加へなくてはならない情報であってやはり「なんかもっとうまいやり方はないのかな〜」などと思ってしまふ

そんで本などを見ると
State s モナドなんていふものが書いてある
これを利用すると「状態」を簡単に扱へるといふことらしいのだが
いまいち私にはその具体的な使ひ方が腑に落ちなかった

とにかく使ってみやうといふことで SDL2を使ってイメージの讀み込みとウインドウ表示だけをするコードを書き色々と實驗してみた

しかしうまくいかない

State s モナドは (State 状態結果) を返す函數と初期の状態を runState といふ函數に與へることで機能する
だけど runState に與へたい函數は単に状態を變化させるといふだけでなく様々な出力に對應するつまり IO型を扱ふ函數であってほしい〜といふかさうでなくては困るのだ

それを念頭に Hackage の Control.Monad.State.Strict のドキュメントとにらめっこしてゐて
StateT についての項目をながめてゐた

newtype StateT s (m :: * -> *) a

s - The state.
m - The inner monad.
と書かれてゐる
もしかして m を IOにできるってこと？
StateT モナドを實行する runStateT といふ函數もある
・・・もしかして・・・
コードを書いてみた（一部を載せる)

module App(appMain) where

import Control.Monad.State.Strict (runStateT)
import MySDL.Load (loadFiles)
import MySDL.Loop (loop)
import MySDL.Init (withInit)
import MySDL.Video (withVideo)
import MyData (initWorld)

appMain :: IO ()
appMain =
  withInit $ do
    imageS <- loadFiles
    withVideo $
      \renderer -> runStateT (loop renderer imageS) initWorld

module MySDL.Loop where

import Control.Monad.State.Strict (StateT,get,put)
import Control.Monad.IO.Class (liftIO)
import SDL.Video.Renderer (Renderer,Surface)
import SDL.Time (delay)
import MyData (World(..), Input(..),  delayTime)
import Event (inputEvent)

loop :: Renderer -> [Surface] -> StateT World IO ()
loop re imageS = do
  inp <- liftIO inputEvent
  wld <- get
  let newWorld = wld{abc=abc wld + 1}
  liftIO (print (abc wld))
  put newWorld
  delay delayTime
  if inp==QIT then return () else loop re imageS

今回實驗で使った「状態」は Worldといふ型で abc=0, def=1 といふ値を初期値とする單純なものだ
これをメインループ上で取り出し abcに1を加へてターミナルに表示させることができた
ここで loop函數は状態を表す引數をもってゐない
それでも get函數で状態を取得し put函數で状態を書き込むことができる！この函數のなかで IOアクションを實行するときは liftIO を適用すればよい

これで「状態」をかなりスマートに扱ふことができるやうな氣がする〜

コード全体は

github.com