Draft post-finalization note for SRFI 113 John Cowan (17 Jul 2017 15:26 UTC)
Re: Draft post-finalization note for SRFI 113 Sudarshan S Chawathe (17 Jul 2017 17:22 UTC)
Re: Draft post-finalization note for SRFI 113 John Cowan (17 Jul 2017 21:50 UTC)
Re: Draft post-finalization note for SRFI 113 Arthur A. Gleckler (18 Jul 2017 00:40 UTC)
Re: Draft post-finalization note for SRFI 113 Shiro Kawai (18 Jul 2017 09:54 UTC)

Re: Draft post-finalization note for SRFI 113 Sudarshan S Chawathe 17 Jul 2017 17:22 UTC

The motivation makes sense to me, but I am confused by the sentence
beginning with "Now that SRFI 153...".  How does SRFI 153 help in this
regard?  Or is it just a matter of precedent/analogy?

Also, it seems that this note would disallow (or discourage) a SRFI-113
implementation that is not based on hash tables (e.g., based on balanced
trees).  Is the intention that SRFI 113 should focus on hash table
implementations (and optionally tree/ordered ones) while SRFI 153
provides tree/ordered implementations?

Regards,

-chaw

> <p><b>Post-finalization note 3</b>:
> The "Comparator restrictions" section of this SRFI states that
> implementations must not require comparators used to create
> sets or bags to have both an ordering predicate and a hash
> function.  However, in practice this is a nullity, because there
> is no way to determine which type of procedure the implementation
> requires, and therefore users must supply both procedures.  Now that
> <a href="http://srfi.schemers.org/srfi-153/srfi-153.html">SRFI 153</a>
> (in draft status at the time of this writing) requires comparators
> with ordering predicates, the author of this SRFI strongly urges
> implementers to accept comparators with hash functions with or
> without ordering predicates. The sample implementation,
> which is built on top of hash tables, already does so.</p>
>
> Comments?
>
> --
> John Cowan          http://vrici.lojban.org/~cowan        xxxxxx@ccil.org
> Time alone is real
>   the rest imaginary
> like a quaternion       --phma
>