On 2005-01-29, Stefan Monnier <[EMAIL PROTECTED]> 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
-><-

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to