IO モナド中で更新できる値を扱う． main = do ior <- newIORef 0 writeIORef ior 5 v <- readIORef ior print v -- => 5 modifyIORef ior (+ 1) v <- readIORef ior print v -- => 6

parsec で式のリストを作り，それを先頭から順に読んで状態を更新していくループを実装してみる．仕様: 空白を含む数字の列を１桁の数列とみなし，それを順に足しあげていく．加算の結果を状態とする．まず１桁の数字を読んで文字として返すパーザ: digit_ws…