[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
<http://srfi.schemers.org/srfi-67/srfi-67.html#node_sec_Temp_15>.


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

_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports