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 17 Aug 2020 15:16 UTC

Am Mo., 17. Aug. 2020 um 16:48 Uhr schrieb John Cowan <xxxxxx@ccil.org>:

>> - Why does "bitvector-first-bit" does not return #f in case no values equal BIT? Returning "-1" looks more like a C convention and is less helpful because it cannot as easily be tested in, say, (cond (... => (lambda (index) ...))) expressions.

> It's just as easy to test with negative?, and -1 can be interpreted as "before the beginning", which means, e.g. that finding the bit after the first bit is uniformly a matter of adding 1.

The test with "negative?" cannot be used in conjunction with cond/=>
as in my code snipped above. (Similarly, there is no
"negative?"-protocol conversion in SRFI 189.)

If you want a numerical result, +inf.0 is more logical than -1 because
the infimum over an empty set is +inf.0. The mathematically logical
sound interpretation for no bit found is "after the end". "Before the
beginning" would make sense when one looks for the last bit. I
understand that "+inf.0" is not the nicest Scheme value here but there
is a second-best choice, the length of the bitvector (in case we
really want a numerical result).