Functional random data streams
Marc Nieper-Wißkirchen
(05 May 2020 06:44 UTC)
|
Re: Functional random data streams
Shiro Kawai
(05 May 2020 09:10 UTC)
|
Re: Functional random data streams
Shiro Kawai
(05 May 2020 09:12 UTC)
|
Re: Functional random data streams
Marc Nieper-Wißkirchen
(05 May 2020 09:26 UTC)
|
Re: Functional random data streams
Marc Nieper-Wißkirchen
(05 May 2020 09:35 UTC)
|
Re: Functional random data streams
Shiro Kawai
(05 May 2020 10:02 UTC)
|
Re: Functional random data streams
Marc Nieper-Wißkirchen
(05 May 2020 10:58 UTC)
|
Re: Functional random data streams
John Cowan
(05 May 2020 13:29 UTC)
|
Re: Functional random data streams
Marc Nieper-Wißkirchen
(05 May 2020 13:47 UTC)
|
Re: Functional random data streams
Shiro Kawai
(05 May 2020 19:45 UTC)
|
Re: Functional random data streams
Marc Nieper-Wißkirchen
(05 May 2020 20:00 UTC)
|
Re: Functional random data streams
Shiro Kawai
(05 May 2020 20:23 UTC)
|
Re: Functional random data streams
Marc Nieper-Wißkirchen
(06 May 2020 17:43 UTC)
|
Re: Functional random data streams
John Cowan
(06 May 2020 19:32 UTC)
|
Re: Functional random data streams
Marc Nieper-Wißkirchen
(06 May 2020 19:39 UTC)
|
Re: Functional random data streams
John Cowan
(06 May 2020 21:11 UTC)
|
Re: Functional random data streams Marc Nieper-Wißkirchen (07 May 2020 06:10 UTC)
|
Re: Functional random data streams
John Cowan
(08 May 2020 18:23 UTC)
|
Re: Functional random data streams
Marc Nieper-Wißkirchen
(08 May 2020 18:41 UTC)
|
Re: Functional random data streams
Marc Nieper-Wißkirchen
(09 May 2020 08:31 UTC)
|
Re: Functional random data streams
John Cowan
(11 May 2020 19:30 UTC)
|
Re: Functional random data streams
Marc Nieper-Wißkirchen
(11 May 2020 19:48 UTC)
|
Re: Functional random data streams
Marc Nieper-Wißkirchen
(20 Aug 2020 09:39 UTC)
|
Re: Functional random data streams
John Cowan
(20 Aug 2020 16:00 UTC)
|
Re: Functional random data streams
Marc Nieper-Wißkirchen
(20 Aug 2020 18:23 UTC)
|
Re: Functional random data streams
Arthur A. Gleckler
(20 Aug 2020 20:18 UTC)
|
Re: Functional random data streams
Marc Nieper-Wißkirchen
(20 Aug 2020 20:27 UTC)
|
Re: Functional random data streams
Arthur A. Gleckler
(20 Aug 2020 23:08 UTC)
|
Re: Functional random data streams
Marc Nieper-Wißkirchen
(21 Aug 2020 07:01 UTC)
|
Am Mi., 6. Mai 2020 um 23:11 Uhr schrieb John Cowan <xxxxxx@ccil.org>: > > > > On Wed, May 6, 2020 at 3:39 PM Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> wrote: > >> >> Whether it goes into R7RS-large or not and how, a future vote will >> show. (In the Red edition, (scheme generator) was SRFI 121; in the >> current edition, it is SRFI 158. > > > True, but that was an entirely backward compatible change, or if not it was by accident that it was not. This change would be the very reverse of backward compatible, and as chair I cannot allow it. Adding a library file to your favorite Scheme that imports the old names and exports the new would be a simple matter. Nitpickingly, the change from SRFI 121 to SRFI 158 was not entirely backward-compatible because new names were introduced (which may clash with bindings of the same name imported from other libraries or defined in the program). In any case, I didn't mean to propose anything else, just the addition of s-prefix names, not removing stream-prefix names as long as we stick to the library name (scheme stream). >> What do you mean by that one or more new SRFIs will be required for >> streams and lazy lists? > > > I meant to say that it now looks unlikely that *random* streams and lazy lists would appear in 194, unless someone has time at present to implement them. And if so, I would prefer (though I cannot insist) that that time be expended on another of the Orange Edition pre-SRFIs. Adding a simple layer on top a procedure that converts a generator to a lazy sequence or stream should be doable in less than a day. Once the procedures are fixed, I think I can do it. -- Marc PS: While we go through the rainbow, a vote for really backward-incompatible changes should not be ruled out dogmatically. Sometimes, mistakes happen or choices that later turn out to be bad ones have been made. There has to be a way to correct these before the final edition of R7RS-large is out. R7RS-small had a common period and it would be good to have the same for R7RS-large when it is finally done for the last polish. This wouldn't be possible if the colored editions are frozen (while the charter of WG 2 doesn't call for this).