On to Hydro
Sat, 19 Aug 2000 05:09:41 +0100
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 - this is, in effect, (a -> b) -> (a' -> b'), which is, of course,
Besides, "a < b" can be defined as "a <= b && a != b" if you "only"
Coming to ApacheCon Europe 2000? http://apachecon.com/