Re: New version of SRFI 113

This page is part of the web mail archives of SRFI 113 from before July 7th, 2015. The new archives for SRFI 113 contain all messages, not just those from before July 7th, 2015.

To: John Cowan <cowan@xxxxxxxxxxxxxxxx>

Subject: Re: New version of SRFI 113

From: Kevin Wortman <kwortman@xxxxxxxxx>

Date: Fri, 25 Apr 2014 13:37:27 -0700

Cc: srfi-113@xxxxxxxxxxxxxxxxx, srfi-editors@xxxxxxxxxxxxxxxxx

Delivered-to: srfi-113@xxxxxxxxxxxxxxxxx

Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=OibtF1V14rfti86YMrC4u1DgmY/t1pOCxpkBjIfzTEY=; b=fkK0PDADK65d7ffeF9aunWZzfRLH/ZVeNqnEqlp5ClrWF8tOuJwi2OcVlPc8VQ81Zt HYyceYjKH0pp43JkZ47tpu84X9sfWI78uIrCuKIxuJixkOCjee/qK7zGCAhYZaGydtxM 6bYgmHn1R7oHgZlNFEyrgfciKbP8mWfq8vDYCj46Og9ASOl0Qkz9lScWBD9y+/uaV0yM W+S3V30Ao8e4ZcH/gkDyZK3RnvtHJYaWyLjxcgGHDDuhagxUzlRwV2abif+tJ0VpCS4l Pq22uTD/xRYBUTyPE841kucg5JEyYFEz0GKj1BQhSph2IasQyfektT9q/LmnItvnPP+R dbRg==

In-reply-to: <20140421192127.GB5473@mercury.ccil.org>

References: <20140331053857.GH14604@mercury.ccil.org> <CAD2CXetUvnbDw7sdUzAgsBbF3cYitiA052=w+-PRPA6kUug=Mw@mail.gmail.com> <20140421192127.GB5473@mercury.ccil.org>

But
I'm reluctant to introduce such machinery just to handle a few
procedures in a single SRFI.

I agree with this in principle, but I wager that keyword arguments would be useful in many other places in R7RS-large. For example, in opening a socket, or stipulating that a sort procedure be stable.

Without keyword arguments, we could handle this with user-supplied "merger" procedures (or maybe "selector") that you suggested earlier. The set implementation calls (merger early late), where early and late are equal according to the set's comparator, and early was encountered before late; merger must return the single object to include in the set. Then, either a set has a single merger that is installed when it is created; or, all of the procedures that may insert objects need variants that accept a merger parameter, and we need to create a set/merger, set-adjoint/merger, list->set/merger, etc.

Kevin Wortman