Email list hosting service & mailing list manager

Functional and linear-updating interfaces Shiro Kawai (31 May 2021 11:05 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (31 May 2021 12:45 UTC)
Re: Functional and linear-updating interfaces Shiro Kawai (31 May 2021 15:53 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (31 May 2021 16:17 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (31 May 2021 16:35 UTC)
Re: Functional and linear-updating interfaces Shiro Kawai (31 May 2021 16:55 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (31 May 2021 17:37 UTC)
Re: Functional and linear-updating interfaces Shiro Kawai (31 May 2021 18:06 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (31 May 2021 20:56 UTC)
Re: Functional and linear-updating interfaces Shiro Kawai (31 May 2021 23:14 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (01 Jun 2021 06:14 UTC)
Re: Functional and linear-updating interfaces Shiro Kawai (02 Jun 2021 06:01 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (02 Jun 2021 06:31 UTC)
Re: Functional and linear-updating interfaces Shiro Kawai (02 Jun 2021 10:48 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (02 Jun 2021 11:45 UTC)
Re: Functional and linear-updating interfaces Shiro Kawai (02 Jun 2021 17:18 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (05 Jun 2021 12:05 UTC)
Re: Functional and linear-updating interfaces John Cowan (06 Jun 2021 16:56 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (06 Jun 2021 17:37 UTC)
Re: Functional and linear-updating interfaces Shiro Kawai (06 Jun 2021 18:05 UTC)
Re: Functional and linear-updating interfaces Wolfgang Corcoran-Mathe (07 Jun 2021 01:20 UTC)
Re: Functional and linear-updating interfaces Shiro Kawai (07 Jun 2021 04:55 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (07 Jun 2021 06:51 UTC)
Re: Functional and linear-updating interfaces Wolfgang Corcoran-Mathe (07 Jun 2021 18:55 UTC)
Re: Functional and linear-updating interfaces Shiro Kawai (07 Jun 2021 20:35 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (07 Jun 2021 20:46 UTC)
Re: Functional and linear-updating interfaces Wolfgang Corcoran-Mathe (07 Jun 2021 22:19 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (07 Jun 2021 20:39 UTC)
Re: Functional and linear-updating interfaces Wolfgang Corcoran-Mathe (07 Jun 2021 22:17 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (08 Jun 2021 06:19 UTC)
Re: Functional and linear-updating interfaces Wolfgang Corcoran-Mathe (08 Jun 2021 17:41 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (09 Jun 2021 06:14 UTC)
Re: Functional and linear-updating interfaces Wolfgang Corcoran-Mathe (09 Jun 2021 16:48 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (09 Jun 2021 17:20 UTC)
Re: Functional and linear-updating interfaces Arthur A. Gleckler (09 Jun 2021 18:21 UTC)
Re: Functional and linear-updating interfaces Wolfgang Corcoran-Mathe (09 Jun 2021 18:39 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (09 Jun 2021 18:58 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (10 Jun 2021 06:26 UTC)
Re: Functional and linear-updating interfaces Wolfgang Corcoran-Mathe (10 Jun 2021 17:18 UTC)
Re: Functional and linear-updating interfaces John Cowan (12 Jun 2021 04:51 UTC)
Re: Functional and linear-updating interfaces John Cowan (12 Jun 2021 04:48 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (07 Jun 2021 20:54 UTC)
Re: Functional and linear-updating interfaces Shiro Kawai (07 Jun 2021 23:33 UTC)
Re: Functional and linear-updating interfaces Wolfgang Corcoran-Mathe (31 May 2021 23:15 UTC)
Re: Functional and linear-updating interfaces Arthur A. Gleckler (31 May 2021 14:38 UTC)
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen (31 May 2021 14:42 UTC)

Re: Functional and linear-updating interfaces Wolfgang Corcoran-Mathe 09 Jun 2021 16:48 UTC

On 2021-06-09 08:13 +0200, Marc Nieper-Wißkirchen wrote:
> (Speaking of this: wouldn't it make
> sense to restrict the type to fixnums as it is all about an efficient
> implementation? Shouldn't this be strongly considered? In this case,
> fxmapping would indeed be the best name.)

The SRFI allows this restriction, but also allows implementations to
support bignum keys (see the "Exact Integers" section).  I'd rather
not restrict it unnecessarily.

> Unless we really want integer indices outside the fixnum range, I would
> suggest "int-mapping" or "integer-mapping" (and "int-set" or "integer-set"
> for SRFI 217).

None of the options seem particularly beautiful, but I'm leaning
toward "int-mapping".  We do have "bytevectors" and "bitvectors",
though, so I wonder if "intmapping" is more consistent with that
naming pattern.

CC'd to John, since SRFI 217's naming has the same issue.

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

"In the presence of the unknown all have an equal right to
think." --Robert G. Ingersoll, "Individuality"