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

Jon Fairbairn jon.fairbairn at cl.cam.ac.uk
Fri Apr 12 09:08:04 UTC 2019

David Feuer <david.feuer at gmail.com> writes:

> I don't know the historical answer, but I think it's because the true
> fixity can't be expressed in Haskell.

No, the historical answer is that with lazy evaluation the
shortcutting happens in the expected order. We did think about

Jón Fairbairn                                 Jon.Fairbairn at cl.cam.ac.uk

More information about the Haskell-Cafe mailing list