Re: [Haskell] Lazy IO breaks purity

2009-03-04 Thread Dan Doel
On Wednesday 04 March 2009 9:12:20 pm o...@okmij.org wrote: > We demonstrate how lazy IO breaks referential transparency. A pure > function of the type Int->Int->Int gives different integers depending > on the order of evaluation of its arguments. Our Haskell98 code uses > nothing but the standard

Re: [Haskell] Lazy IO breaks purity

2009-03-04 Thread Jonathan Cast
On Wed, 2009-03-04 at 18:22 -0800, Jonathan Cast wrote: > On Wed, 2009-03-04 at 18:12 -0800, o...@okmij.org wrote: > > > > We demonstrate how lazy IO breaks referential transparency. A pure > > function of the type Int->Int->Int gives different integers depending > > on the order of evaluation of

Re: [Haskell] Lazy IO breaks purity

2009-03-04 Thread Jonathan Cast
On Wed, 2009-03-04 at 18:12 -0800, o...@okmij.org wrote: > > We demonstrate how lazy IO breaks referential transparency. A pure > function of the type Int->Int->Int gives different integers depending > on the order of evaluation of its arguments. Our Haskell98 code uses > nothing but the standard

[Haskell] Lazy IO breaks purity

2009-03-04 Thread oleg
We demonstrate how lazy IO breaks referential transparency. A pure function of the type Int->Int->Int gives different integers depending on the order of evaluation of its arguments. Our Haskell98 code uses nothing but the standard input. We conclude that extolling the purity of Haskell and adve

[Haskell] ANN: Happstack 0.2 Released

2009-03-04 Thread Matthew Elder
Happstack 0.2 has been released; it is available on Hackage. A lot of community effort has gone into it! For details, please see this post: http://blog.happstack.com/2009/03/04/happstack-02-released Regards, Matthew Elder -- Need somewhere to put your code? http://patch-tag.com Want to build a