On Wed, Aug 12, 2009 at 9:34 AM, Derek Elkins<derek.a.elkins@gmail.com> wrote:
On Tue, Aug 11, 2009 at 3:51 PM, Robin Green<greenrd@greenrd.org> wrote:
On Wed, 12 Aug 2009 11:37:02 +0200 Peter Verswyvelen <bugfact@gmail.com> wrote:
Yes, sorry.
But I think I already found the answer to my own question.
DDC functions that are lazy don't allow side effects: http://www.haskell.org/haskellwiki/DDC/EvaluationOrder
Anyway it would be cool if the DDC EffectSystem would also work on lazy functions :)
As was just pointed out in the unsafeDestructiveAssign thread from which this thread was forked, effects are incompatible with non-strict evaluation.
No, they aren't. At least, they aren't in any technical way. There have been more than a few languages supporting both laziness and mutation starting with Algol.
As far as I know, Algol had call-by-name, not call-by-need. -- Dave Menendez <dave@zednenem.com> <http://www.eyrie.org/~zednenem/>