[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