From: Marcin 'Qrczak' Kowalczyk <qrczak@...>
Date: 2002-08-29T03:16:45+09:00
Subject: Re: What New Language After Ruby?

Thu, 29 Aug 2002 01:27:07 +0900, Rafael 'Dido' Sevilla <dido@imperium.ph> pisze:

>> Side effects are "separate" from laziness. Laziness doesn't affect what
>> side effects are effective and in what order.
> 
> Really?  I thought that the definition of a lazy language was that when
> a function is evaluated, the arguments are only evaluated when they are
> needed.  So if an argument has a side effect, that side effect might
> never happen if the argument was not used.

In Haskell evaluation of an expression can't have a side effect
(unles you treat non-termination / program failure as effect,
or use unsafePerformIO, or treat GHC exceptions as effects).

-- 
  __("<      Marcin Kowalczyk
  \__/     qrczak@knm.org.pl
   ^^    http://qrnik.knm.org.pl/~qrczak/