On to Hydro
Fri, 18 Aug 2000 23:51:32 -0400
And another thing from me (Tyler):
> > 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,
The impression I've gotten from Dean is that you're rarely, if ever,
going to try to use "<" on a partial ordering. Is this correct?
Most programmers only work with totally ordered spaces and so probably
won't come across this distinction. Java doesn't even have support for
partially ordered spaces. (Is there a language that does?)
There, that ought to do it. ;)
Do You Yahoo!?
Talk to your friends online with Yahoo! Messenger.