John Cowan <xxxxxx@ccil.org> schrieb am Fr., 30. Dez. 2016 um 02:53 Uhr:

I'd lke to propose some new mapping procedures to add to SRFI 146. These are procedures that are onlly useful if the mappings are ordered. These come from ImmutableMapsWortman, and I have put them into the new wiki page OrderedMapsCowan. I recommend that the SRFI be changed to add these functions to (srfi 146 ordered) library, but not either of the other two.

I like that idea. I am going to add what you propose to SRFI 146. I think I will also add a few variants like mapping-fold/reverse to existing procedures. Procedures like mapping-unfold/monotone and mapping-unfold/reverse would also make sense.

However, I haven't yet come to a conclusion whether I should add the guarantees on the running times (e.g. O(log n) for the map-range-procedures) to the SRFI or whether it should be left to the implementation to choose the most suitable data structure.

I also think that the paragraph proposing (srfi 113 ordered) and (srfi 113 hash) should be dropped and a new SRFI created that will provide these libraries, along with the set analogues of OrderedMapsCowan.

Would you like to create such a SRFI (or rather: do you have time to) when SRFI 146 will have got ordered procedures in the next draft?

Marc

--
John Cowan http://vrici.lojban.org/~cowan xxxxxx@ccil.org
I must confess that I have very little notion of what [s. 4 of the British
Trade Marks Act, 1938] is intended to convey, and particularly the sentence
of 253 words, as I make them, which constitutes sub-section 1. I doubt if
the entire statute book could be successfully searched for a sentence of
equal length which is of more fuliginous obscurity. --MacKinnon LJ, 1940

To unsubscribe from this list please goto http://www.simplelists.com/confirm.php?u=oa8YQq670QJsajDJIblEsMJ9MoezHUAm