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 31 May 2021 23:15 UTC

On 2021-05-31 14:45 +0200, Marc Nieper-Wißkirchen wrote:
> PS A functional updater should never allocate a new structure unless
> necessary. The semantics of SRFI 113, SRFI 146, ... regarding the question
> of what "newly allocated" means, are not very good and should eventually be
> corrected.

This is a good point that I'd like to address in SRFI 224 (still a
draft).  How can we get this right?  I'm inclined to discard the
"newly allocated" terminology, which I agree is unclear.

The point about the difficulty of providing both efficient
mutating and functional implementions seems critical; thanks to
Shiro for raising it.

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

"Earth is the cradle of the mind, but one cannot live in a
cradle forever." --Konstantin Tsiolkovsky