[r6rs-discuss] Comparison procedures' number of arguments

[John Cowan]

Andre van Tonder scripsit:

> There seems to be only one natural interpretation.

That is, there seems *to you* to be only one natural interpretation.
"Descartes thought that he thought but his dog did not.  His dog, however,
thought otherwise!"

> Are you saying you cannot sort an empty or one-item sequence?
> I have directories with zero or one entry on my computer, and I can
> order them fine using various criteria without my OS complaining,
> and that's Windows!

That proves too much.  We can sort sequences of length 0 or 1 even if
the items are not ordered at all; it is when we have a sequence of length
2 or more that we must appeal to an ordering predicate.

-- 
Winter:  MIT,                                   John Cowan
Keio, INRIA,                                    cowan at ccil.org
Issue lots of Drafts.                           http://www.ccil.org/~cowan
So much more to understand!
Might simplicity return?                        (A "tanka", or extended haiku)