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

Joachim Durchholz jo at durchholz.org
Sat Apr 13 12:29:06 UTC 2019


Am 13.04.19 um 12:14 schrieb Richard O'Keefe:
> I would
> be astonished if you had been told that
>     a ** b ** c
> was defined to be
>     a ** (b ** c)
> back in 1950-something,

Actually we were told, with the reasoning that (a ** b) ** c is the same 
as a ** (b * c), I recall that that was presented as "nothing new there 
so not worth defining it that way).

Truth be told, that was the 1970-something for me.


More information about the Haskell-Cafe mailing list