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

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@gmail.com To: akshay.v.dave@hotmail.com CC: haskell-cafe@haskell.org

On Sun, Sep 6, 2009 at 11:22 PM, Akshay Dave 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