[Haskell-cafe] How to Create Data Type of memory
lrpalmer at gmail.com
Mon Sep 7 02:12:14 EDT 2009
On Sun, Sep 6, 2009 at 11:45 PM, Akshay Dave<akshay.v.dave at hotmail.com> wrote:
> Thanks for your prompt reply. Actually I am trying to convert the
> following transitive semantics to Haskell:
> (Memory maps I to Z)
> lookup m i = <current value of i> ( meaning lookup for I in memory m)
> evB b m = true/(while b do c od;m) -> (c; while b do c od;m)
> I have written the boolean expression and statement part but I am not able
> to write the memory representation in Haskell.
Ah, if you're trying to implement a semantics (emphasis on
understandability and correctness), I suggest Data.Map.
import qualified Data.Map as Map
Map.lookup 2 (Map.insert 1 "x" (Map.insert 2 "y" Map.empty)) -- "y"
More information about the Haskell-Cafe