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

Stefan Monnier 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 mailing list