[Haskell-cafe] Is id strict?
David House
dmhouse at gmail.com
Sun Jul 30 08:04:06 EDT 2006
On 30/07/06, Ian Lynagh <igloo at earth.li> wrote:
> If the value of (id x) is demanded then the value of x will always be
> demanded. Therefore id is strict in its first argument.
...
> In place of your 2), I would say
> (f x0 .. xn) is strict in xi if demanding the value of (f x0 .. xn)
> requires demanding the value of xi.
Ah. Very helpful. Thanks.
--
-David House, dmhouse at gmail.com
More information about the Haskell-Cafe
mailing list