[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