Remaining work on SRFI 178 John Cowan (16 Aug 2020 02:36 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (16 Aug 2020 16:07 UTC)
Re: Remaining work on SRFI 178 Arthur A. Gleckler (16 Aug 2020 22:49 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (17 Aug 2020 00:22 UTC)
Re: Remaining work on SRFI 178 John Cowan (17 Aug 2020 00:24 UTC)
Re: Remaining work on SRFI 178 Arthur A. Gleckler (17 Aug 2020 00:50 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (17 Aug 2020 05:44 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (17 Aug 2020 06:00 UTC)
Re: Remaining work on SRFI 178 John Cowan (17 Aug 2020 14:48 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (17 Aug 2020 15:04 UTC)
Re: Remaining work on SRFI 178 John Cowan (17 Aug 2020 15:05 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (17 Aug 2020 15:17 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (18 Aug 2020 04:28 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (18 Aug 2020 05:59 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (18 Aug 2020 15:43 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (18 Aug 2020 15:59 UTC)
Re: Remaining work on SRFI 178 John Cowan (18 Aug 2020 16:01 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (18 Aug 2020 16:22 UTC)
Re: Remaining work on SRFI 178 Arthur A. Gleckler (18 Aug 2020 18:36 UTC)
Re: Remaining work on SRFI 178 John Cowan (18 Aug 2020 19:10 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (18 Aug 2020 19:49 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (18 Aug 2020 20:13 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (18 Aug 2020 20:28 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (18 Aug 2020 20:40 UTC)
Re: Remaining work on SRFI 178 John Cowan (18 Aug 2020 22:03 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (19 Aug 2020 08:58 UTC)
Re: Remaining work on SRFI 178 John Cowan (20 Aug 2020 12:45 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (20 Aug 2020 13:15 UTC)
Re: Remaining work on SRFI 178 John Cowan (20 Aug 2020 14:41 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (20 Aug 2020 14:54 UTC)
Re: Remaining work on SRFI 178 John Cowan (20 Aug 2020 15:25 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (20 Aug 2020 15:52 UTC)
Re: Remaining work on SRFI 178 John Cowan (20 Aug 2020 16:03 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (20 Aug 2020 16:55 UTC)
Re: Remaining work on SRFI 178 John Cowan (20 Aug 2020 17:05 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (20 Aug 2020 18:32 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (21 Aug 2020 04:56 UTC)
Re: Remaining work on SRFI 178 Shiro Kawai (21 Aug 2020 05:14 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (21 Aug 2020 08:00 UTC)
Re: Remaining work on SRFI 178 Shiro Kawai (21 Aug 2020 09:15 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (21 Aug 2020 09:19 UTC)
Re: Remaining work on SRFI 178 John Cowan (21 Aug 2020 15:55 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (21 Aug 2020 16:56 UTC)
Re: Remaining work on SRFI 178 John Cowan (21 Aug 2020 21:03 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (21 Aug 2020 22:38 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (22 Aug 2020 06:27 UTC)
Re: Remaining work on SRFI 178 John Cowan (22 Aug 2020 16:23 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (24 Aug 2020 15:45 UTC)
Re: Remaining work on SRFI 178 John Cowan (24 Aug 2020 18:01 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (24 Aug 2020 18:15 UTC)
Re: Remaining work on SRFI 178 John Cowan (18 Aug 2020 20:25 UTC)
Re: Remaining work on SRFI 178 Arthur A. Gleckler (17 Aug 2020 06:22 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (17 Aug 2020 06:30 UTC)
Re: Remaining work on SRFI 178 Arthur A. Gleckler (17 Aug 2020 06:45 UTC)
Re: Remaining work on SRFI 178 John Cowan (17 Aug 2020 14:04 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (17 Aug 2020 15:10 UTC)
Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen (17 Aug 2020 15:42 UTC)
Re: Remaining work on SRFI 178 Wolfgang Corcoran-Mathe (17 Aug 2020 16:33 UTC)

Re: Remaining work on SRFI 178 Marc Nieper-Wißkirchen 20 Aug 2020 13:15 UTC

Am Do., 20. Aug. 2020 um 14:45 Uhr schrieb John Cowan <xxxxxx@ccil.org>:

>> (10) Why are there no reversed (little-endian) versions of the conversion functions to and from bytevectors?
>
>
> I never thought about them.  I'd rather not add them at this stage, since it's very late in the process and I don't think they are a substantial hole.  Another SRFI could do so.

Could we just add them in the process of voting SRFI 178 into
R7RS-large? (Writing a SRFI with just one or two procedures
complementing this SRFI sounds a bit cumbersome.)

It would be nice (but I know that it is hardly fulfillable but we
could think about it theoretically) if we had an efficient low-level
implementation (using, say, GMP) for this SRFI before finalization,
proving that the procedures defined here can be, in fact, implemented,
efficiently.

For example, what would be a convenient format to store bitvectors in
memory? With respect to such a format (which should handle things like
logical shifts efficiently and bitvector-first-bit), would
bitvector->bytevector be implementable in an efficient way? Or would
it be true for the reversed version? Or would it depend on the
endianness of the underlying hardware? Has anyone thought about these
things yet? Unfortunately, there are only very few names involved on
the mailing list.

Is an efficient implementation on top of SRFI 151 possible (a
bitvector would be a tuple of a length and a non-negative integer)?

PS: At the end of the SRFI, it says "Copyright John Cowan 2018". Don't
you want a 2020 there?