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)

Re: Functional random data streams Marc Nieper-Wißkirchen 20 Aug 2020 20:27 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.