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

[Aaron Denney]

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.

-- 
Aaron Denney
-><-