[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] R7RS-large comparators

Kevin Wortman scripsit:

> I think that a comparator returns one of three conceptual results:
> less-than, equal, or greater-than. There is a long history of using the
> integer values -1, 0, and +1 to represent those concepts. However these
> concepts are not really integers, and using integers to represent them
> may be a red herring. I think Haskell gets this right by yielding one of
> the algebraic constructors LT, EQ, or GT (
> http://www.haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#t:Ordering
> ).
> Perhaps Scheme comparators should return one of the symbols 'less 'equal
> or 'greater ? Or perhaps we should standardize enumerated types first
> and then have comparators return an enum object.

Please read the justification at

In politics, obedience and support      John Cowan <cowan@x>
are the same thing.  --Hannah Arendt    http://www.ccil.org/~cowan

Scheme-reports mailing list