[Haskell-cafe] Re: mathematical notation and functional programming

[Stefan Monnier]

> a < b < c
>    which is a short-cut of a < b \land b < c

The confusion between f(x) and λx.f(x) is indeed a real bummer.
OTOH I like the a<b<c shorthand because it's both "obvious" and unambiguous
(as long as the return value of < can't be passed as an argument to <, which
is typically the case when the return value is boolean and there's no
ordering defined on booleans).


        Stefan