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 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_