🚀 go-pugleaf

In <4023ic$sss@lyman.pppl.gov>, Haim Kreitman <haim_kreitman@mail.stil.scitex.com> writes:
>Another realistic and usefull example of partial order is
>//  (where @ means "non-comparable") could be helpfull)

Interesting example -- and one I had not (yet) considered.  But, of course, it is
worse than the templated operators are useless.  They actively conflict with
the correct template definitions.

BTW, instead of using x @ y to mean non-comparable, I use x  >< y where the
>< is intended to overlap.  It has the advantage of using the same characters
as <> so no new symbols are required (I also want to reserve @ for some other
things, but that is not really relevant here).

I haven't heard from Koenig or anyone from the the standard on this yet.  I
hope it isn't too late to get a correction into the standard.

It is possible that namespaces will make things a bit better, but it would be
pretty awkward to have to always use x.std::operator<=(y) instead of x <= y
so that isn't really a viable solution.

Michael Lee Finney