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)
|
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?