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

[David Menendez]

On Wed, Aug 12, 2009 at 9:34 AM, Derek Elkins<derek.a.elkins at gmail.com> wrote:
> On Tue, Aug 11, 2009 at 3:51 PM, Robin Green<greenrd at greenrd.org> wrote:
>> On Wed, 12 Aug 2009 11:37:02 +0200
>> Peter Verswyvelen <bugfact at 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 at zednenem.com>
<http://www.eyrie.org/~zednenem/>