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 Wolfgang Corcoran-Mathe 20 Aug 2020 16:55 UTC

On 2020-08-20 12:03 -0400, John Cowan wrote:
> On Thu, Aug 20, 2020 at 11:51 AM Marc Nieper-Wißkirchen <
> xxxxxx@nieper-wisskirchen.de> wrote:
>
> > I have been concerned about the
> > "bitvector<->bytevector" procedures, which currently only use
> > big-endian order according to the document.
> >
>
> Ah.  This is more difficult.  When packing (implicitly big-endian)
> bitvectors into bytevectors, it is not so clear where the padding bits go.
> Strict reversal would put them in byte 0, but the last byte would also be a
> plausible place.

I'll add this if we want it and can agree on the semantics.

I'll make the following changes shortly.

* Allow multiple seeds in bitvector-unfold(-right)
* Add reverse-bitvector->vector/{bool,int} and reverse-vector->bitvector

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"Prolonged contact with the computer turns mathematicians into
clerks and vice-versa." --Alan J. Perlis