[Haskell-cafe] Haskell from SML - referrential Transparency?!

Gregory Guthrie guthrie at mum.edu
Tue Apr 19 21:41:28 CEST 2011


Perhaps the description was unclear;

    F1;f1     gives result   r1;r2   (not the same)
    F1;f2    gives   r1;r2
    F2,f1    gives   r1;r2

-------------------------------------------
> -----Original Message-----
> From: Felipe Almeida Lessa [mailto:felipe.lessa at gmail.com]
> Sent: Tuesday, April 19, 2011 2:26 PM
> To: Gregory Guthrie
> Cc: haskell-cafe at haskell.org
> Subject: Re: [Haskell-cafe] Haskell from SML - referrential Transparency?!
> 
> On Tue, Apr 19, 2011 at 4:10 PM, Gregory Guthrie <guthrie at mum.edu> wrote:
> > and I get different results from the two executions (f1,f2), even
> > though they have exactly the same definition. Reversing their order,
> > gives the exact same results (i.e. the results are still different,
> > and in the same original order as f2;f1). Even doing   (f1;f1) gives two different results.
> 
> This shows that referential transparency is working nicely.
> 
> --
> Felipe.


More information about the Haskell-Cafe mailing list