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 Do., 20. Aug. 2020 um 22:18 Uhr schrieb Arthur A. Gleckler <xxxxxx@speechcode.com>: > > On Thu, Aug 20, 2020 at 11:23 AM Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> wrote: > >> >> I think it would be a good thing to maintain a database of all bindings (and aliases) of all official R7RS-large libraries. > > > That would be great. > > I've slowly been collecting signatures from all SRFIs in this rough format: > > > ((signature (list object ...) > (returns list)) > (source (srfi 1)) > (kind procedure)) > ((signature (make-list n) > (returns list)) > (signature (make-list n fill) > (returns list)) > (source (srfi 1)) > (kind procedure)) That's much more detailed than what I have had in mind. I was just thinking of a list of identifiers exported by each library together with any aliases. But one can probably extract that data from the format you provide and, vice versa, one can use the simple table to create stubs to be filled in later in your format.