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 Di., 5. Mai 2020 um 12:02 Uhr schrieb Shiro Kawai <xxxxxx@gmail.com>: > > In my experience generators don't pose much problems, as I treat it in the same family of read-char and read-u8. > As soon as you fiddle with call/cc, you can just convert it to a lazy sequence and forget about generators. > > Restart safety in general (i.e. re-invoking continuation captured within higher-order functions won't break things) > is another topic---there are not many procedures that explicitly require it, and I think many existing code > actually have internal state which may be revealed if a continuation captured in a higher-order function is restarted. That's one of the reasons why we should promote the pure versions (like streams) no less than the impure ones (like generators). :) > For example, srfi-133 vector-unfold is not restart safe (it doesn't specify so, and reference implementation isn't). This is unpleasant insofar as VECTOR-UNFOLD is supposed to be the fundamental vector constructor but would be insufficient to implement VECTOR-MAP.