Email list hosting service & mailing list manager

is #f a valid index? Duy Nguyen (29 Jan 2020 12:23 UTC)
Re: is #f a valid index? Arthur A. Gleckler (02 Mar 2020 23:14 UTC)
Re: is #f a valid index? Arthur A. Gleckler (05 Apr 2020 22:45 UTC)
Re: is #f a valid index? John Cowan (25 Jun 2020 21:20 UTC)
Re: is #f a valid index? Alex Shinn (25 Jun 2020 23:37 UTC)
Re: is #f a valid index? John Cowan (25 Jun 2020 23:47 UTC)
Re: is #f a valid index? Alex Shinn (26 Jun 2020 00:23 UTC)
Re: is #f a valid index? John Cowan (26 Jun 2020 01:00 UTC)
Re: is #f a valid index? Arthur A. Gleckler (25 Jun 2020 23:57 UTC)
Re: is #f a valid index? Duy Nguyen (29 Jun 2020 09:13 UTC)
Re: is #f a valid index? Arthur A. Gleckler (29 Jun 2020 14:39 UTC)
Re: is #f a valid index? Duy Nguyen (30 Jun 2020 08:59 UTC)
Re: is #f a valid index? Alex Shinn (30 Jun 2020 09:18 UTC)
Re: is #f a valid index? Duy Nguyen (30 Jun 2020 09:25 UTC)
Re: is #f a valid index? Marc Nieper-Wißkirchen (30 Jun 2020 09:35 UTC)
Re: is #f a valid index? Duy Nguyen (30 Jun 2020 09:42 UTC)
Re: is #f a valid index? Marc Nieper-Wißkirchen (30 Jun 2020 09:47 UTC)
Re: is #f a valid index? Duy Nguyen (30 Jun 2020 09:52 UTC)
Re: is #f a valid index? Marc Nieper-Wißkirchen (30 Jun 2020 10:01 UTC)
Re: is #f a valid index? Duy Nguyen (30 Jun 2020 10:11 UTC)
Re: is #f a valid index? Duy Nguyen (30 Jun 2020 09:37 UTC)
Fwd: is #f a valid index? Arthur A. Gleckler (01 Jul 2020 20:22 UTC)
Re: is #f a valid index? Arthur A. Gleckler (14 Sep 2020 15:45 UTC)

Re: is #f a valid index? Duy Nguyen 30 Jun 2020 10:10 UTC

On Tue, Jun 30, 2020 at 5:01 PM Marc Nieper-Wißkirchen
<xxxxxx@nieper-wisskirchen.de> wrote:
>
> Am Di., 30. Juni 2020 um 11:52 Uhr schrieb Duy Nguyen <xxxxxx@gmail.com>:
>
> > I figured as much, but why would you want that? Index-as-fixnum is
> > returned by plenty other functions, using fixnum for byte offset just
> > opens more opportunity of using a fixnum for a wrong purpose. Plus
>
> This is due to SRFI 130's adhoc polymorphism, I believe.

Again I'm not the srfi author, but I think it's for practical reason.
r7rs and many string srfis will return an index as a position in a
string. When you move in and out of "cursor domain" you have to go
through the index<->cursor conversion. So either they are distinct, or
they must have consistent semantics. In other words cursor-as-fixnum
must be index. Two different meanings using the same type is just a
recipe for disaster unless you depend on none of index-based string
functions out there.
--
Duy