[Haskell-cafe] Newbie question: mutually exclusive strict / lazy

[Lennart Augustsson]

I'm not sure what you mean by "the strictness analyzer".  GHC's strictness
analyzer?
I don't know, but I would hope so since it was done already in 1980 by Alan
Mycroft.

  -- Lennart

On Sat, Feb 9, 2008 at 4:33 PM, Peter Verswyvelen <bf3 at telenet.be> wrote:

> Consider the function
>
> cond x y z = if x then y else z
>
> I guess we can certainly say cond is strict in x.
>
> But what about y and z?
>
> If x is true,  then cond is strict in y
> If x is false, then cond is strict in z
>
> So we can't really say cond is lazy nor strict in its second or third
> argument.
>
> Of course, this is the case for many more functions, but in  the case of
> the if-then-else primitive, does the strictness analyzer make use of this
> "mutually exclusive strictness" fact?
>
> Cheers,
> Peter
>
>
>
>
>
>
>
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080210/80e53552/attachment.htm