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 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 07 Jun 2021 01:20 UTC

On 2021-06-05 14:05 +0200, Marc Nieper-Wißkirchen wrote:
> Wolfgang, what do you think? We should get it right with SRFI 224 first
> (before it is finalized) and then we can correct SRFI 113 and 146 (am I
> missing another relevant SRFI) ex post facto.

Marc, thanks to you and Shiro for all of the interesting
discussion.

I'm not sure I understand the proposed solution, or the exact
meanings of the terms "persistent" and "transient" in this
context.  Before changing the semantics of SRFI 224, I'd like to
make sure I'm clear on what we're suggesting, and how it will
impact interactions with other Scheme libraries.  Would all
functional procedures now be specified to return a persistent
value, while -! forms would be required to take transient
values?

If I understand correctly, the core of the problem is that the
expectation that "you, the programmer, know there are no other live
references to the value passed to the procedure" is unreasonable,
unless the library provides guarantees or adheres rigidly to the
(awful) "always copy everything" protocol.  (Please correct that
if I've misunderstood.)

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

"In the military more is not better." --_Sun Tzu_