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)
|
As long as efficiency reasons (that may be the case for particular implementations) do not stand in the way, from a purely functional point of view, the streams of SRFI 41 are preferable over the SRFI 158 generators. As SRFI 194 seems to be very useful, it makes a lot of sense to have the same interface for streams. Would you, therefore, mind to add equivalent procedures for streams (in a second SRFI, say)? Marc