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@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.