On to Hydro

[Ben Laurie]

Tyler Close wrote:
> >  But having partially ordered elements respond to "<=",
> > but not respond
> > to "<", freaks me out.
> 
> It actually seems very natural to me. In order to search a linear
> container, you need to have either the "<", or the ">", operator. A
> partial ordering does not let you search a linear container, and so
> does not provide either the "<", or the ">" operator. Pretty slick,
> no?

No - this is, in effect, (a -> b) -> (a' -> b'), which is, of course,
false.

Besides, "a < b" can be defined as "a <= b && a != b" if you "only"
provide "<=".

Cheers,

Ben.

--
http://www.apache-ssl.org/ben.html

Coming to ApacheCon Europe 2000? http://apachecon.com/