The search API Marc Nieper-Wißkirchen (21 Aug 2021 17:57 UTC)
Re: The search API Wolfgang Corcoran-Mathe (24 Aug 2021 00:56 UTC)
Re: The search API Marc Nieper-Wißkirchen (24 Aug 2021 06:55 UTC)
Re: The search API John Cowan (06 Sep 2021 23:38 UTC)
Re: The search API Marc Nieper-Wißkirchen (07 Sep 2021 05:50 UTC)
Re: The search API Wolfgang Corcoran-Mathe (09 Sep 2021 15:14 UTC)
Re: The search API John Cowan (10 Sep 2021 01:58 UTC)
Re: The search API Arthur A. Gleckler (11 Sep 2021 02:31 UTC)
Re: The search API Wolfgang Corcoran-Mathe (14 Sep 2021 16:08 UTC)
Re: The search API Marc Nieper-Wißkirchen (14 Sep 2021 16:22 UTC)

Re: The search API Wolfgang Corcoran-Mathe 24 Aug 2021 00:55 UTC

Marc,

Thanks for bringing this up.

On 2021-08-21 19:56 +0200, Marc Nieper-Wißkirchen wrote:
> SRFI 224 proposes the -alter version, which fixes the deficiencies of
> -search.  (Unrelated to this is the question whether -alter is a good name
> because the dictionary is not necessarily altered.)

I would certainly prefer to see -alter replace -search in SRFI 225.
Of course, -search has been implemented for many structures, while, as
yet, -alter is peculiar to SRFI 224.

> I haven't yet thought about what the -alter! version would be.

Isn't it rather obvious?  The only complicating factor that I can
think of at the moment is that invoking (ignore) must not mutate
the dictionary.

P.S. I agree that "alter" is a poor name.  It's the conventional name
for (something like) that form in most Haskell libraries, but I now
regret borrowing it for SRFI 224.  "search" is even worse, however.

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"[I]t is only a minor overstatement to say that [Brouwer] would have
thought twice about crossing a bridge if its engineers had used the
excluded middle to prove that it could bear his weight."
--Gilles Dowek