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:16 UTC
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen 31 May 2021 16:34 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:36 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:44 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:55 UTC
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen 06 Jun 2021 17:36 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:54 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:34 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:18 UTC
Re: Functional and linear-updating interfaces Marc Nieper-Wißkirchen 07 Jun 2021 20:53 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