Re: DDC compiler and effects; better than Haskell? (was Re: [Haskell-cafe] unsafeDestructiveAssign?)

On Wed, Aug 12, 2009 at 9:34 AM, Derek Elkins wrote:

On Tue, Aug 11, 2009 at 3:51 PM, Robin Green wrote:

...

On Wed, 12 Aug 2009 11:37:02 +0200 Peter Verswyvelen 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 http://www.eyrie.org/~zednenem/