[Haskell-cafe] Re: mathematical notation and functional programming
monnier at iro.umontreal.ca
Sat Jan 29 18:27:29 EST 2005
> 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).
More information about the Haskell-Cafe