<html>
<head>
<style>
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Verdana
}
</style>
</head>
<body class='hmmessage'>
Hi Luke,<br>&nbsp;&nbsp;&nbsp; Thanks for your prompt response. I'll try to implement the same for my semantics!<br><br>Cheers!<br>Akshay<br><br>&gt; Date: Mon, 7 Sep 2009 00:12:14 -0600<br>&gt; Subject: Re: [Haskell-cafe] How to Create Data Type of memory<br>&gt; From: lrpalmer@gmail.com<br>&gt; To: akshay.v.dave@hotmail.com<br>&gt; CC: haskell-cafe@haskell.org<br>&gt; <br>&gt; On Sun, Sep 6, 2009 at 11:45 PM, Akshay Dave&lt;akshay.v.dave@hotmail.com&gt; wrote:<br>&gt; &gt; Hi,<br>&gt; &gt; &nbsp;&nbsp; Thanks for your prompt reply. Actually I am trying to convert the<br>&gt; &gt; following transitive semantics to Haskell:<br>&gt; &gt;<br>&gt; &gt; (Memory maps I to Z)<br>&gt; &gt; lookup m i = &lt;current value of i&gt;&nbsp; ( meaning lookup for I in memory m)<br>&gt; &gt;<br>&gt; &gt; evB b m = true/(while b do c od;m) -&gt; (c; while b do c od;m)<br>&gt; &gt;<br>&gt; &gt; I have written the boolean expression and statement part but I am not able<br>&gt; &gt; to write the memory representation in Haskell.<br>&gt; <br>&gt; Ah, if you're trying to implement a semantics (emphasis on<br>&gt; understandability and correctness), I suggest Data.Map.<br>&gt; <br>&gt;   import qualified Data.Map as Map<br>&gt;   Map.lookup 2 (Map.insert 1 "x" (Map.insert 2 "y" Map.empty))   -- "y"<br>&gt; <br>&gt; Luke<br><br /><hr />HotmailŪ is up to 70% faster. Now good news travels really fast.  <a href='http://windowslive.com/online/hotmail?ocid=PID23391::T:WLMTAGL:ON:WL:en-US:WM_HYGN_faster:082009' target='_new'>Try it now.</a></body>
</html>