[Haskell-cafe] How to Create Data Type of memory

[Akshay Dave]

Hi,
   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.

Hope above explanation helps.

Cheers!
Akshay

> Date: Sun, 6 Sep 2009 23:29:27 -0600
> Subject: Re: [Haskell-cafe] How to Create Data Type of memory
> From: lrpalmer at gmail.com
> To: akshay.v.dave at hotmail.com
> CC: haskell-cafe at haskell.org
> 
> On Sun, Sep 6, 2009 at 11:22 PM, Akshay Dave<akshay.v.dave at hotmail.com> wrote:
> > Hi All,
> >    I am stuck in converting the transition semantics in Haskell. Please let
> > me know how to define memory data types in Haskell( like we define pointer
> > in C). Prompt help would be greatly appreciated.
> 
> I'm sorry, but I can't understand your question.  Do you want to
> interface with C or another language using the FFI interface?  Or are
> you asking about a feature of pure Haskell code?  If you're asking
> about pure Haskell, I'm going to guess the answer is "you can't", or
> use eg. IORef, MArray, for impure types.  (But I discourage their use)
> 
> If you give us more information about what problem you are trying to
> solve, we can be of more help.
> 
> Luke

_________________________________________________________________
Get back to school stuff for them and cashback for you.
http://www.bing.com/cashback?form=MSHYCB&publ=WLHMTAG&crea=TEXT_MSHYCB_BackToSchool_Cashback_BTSCashback_1x1
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090907/8a01a90c/attachment.html