[Haskell-cafe] Why are && and || right-associative?

Theodore Lief Gannon tanuki at gmail.com
Sat Apr 13 01:19:19 UTC 2019


I think Brandon's point is that short-circuiting is in fact an example of
lazy evaluation, regardless of the language being otherwise strict.

On Fri, Apr 12, 2019, 4:52 PM Stefan Monnier <monnier at iro.umontreal.ca>
wrote:

> > Er? Without laziness, you're going to try to evaluate the bottoms
> > regardless of where they are.
>
> Exactly: with lazyness, either associativity gives the same result,
> and without lazyness either associativity also gives the same result.
> The two seem orthogonal to me.
>
>
>         Stefan
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20190412/0a867aea/attachment.html>


More information about the Haskell-Cafe mailing list