Speicher

import qualified Data.Map as M
http://hackage.haskell.org/packages/archive/containers/0.5.0.0/doc/html/Data-Map-Lazy.html
newtype Addr = Addr Int 
type Store = M.Map Addr Val
newtype Action a = 
    Action ( Store -> ( Store, a ))

spezifische Aktionen:

new :: Val -> Action Addr
get :: Addr -> Action Val
put :: Addr -> Val -> Action ()
Aktion ausf├╝hren, Resultat liefern:
run :: Store -> Action a -> a



Johannes Waldmann 2013-01-31