[Haskell-cafe] Re: mathematical notation and functional programming
wnoise at ofb.net
Sat Jan 29 19:53:57 EST 2005
On 2005-01-29, Stefan Monnier <monnier at iro.umontreal.ca> wrote:
>> 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).
Of course, it _is_ defined on Bools in Haskell, with True > False.
But see Martin's answer.
More information about the Haskell-Cafe