interval-foldl and interval-foldr Bradley Lucier (17 Aug 2022 15:45 UTC)
Re: interval-foldl and interval-foldr John Cowan (17 Aug 2022 21:11 UTC)
Re: interval-foldl and interval-foldr Marc Nieper-Wißkirchen (17 Aug 2022 21:29 UTC)
Re: interval-foldl and interval-foldr Bradley Lucier (17 Aug 2022 21:34 UTC)

Re: interval-foldl and interval-foldr Bradley Lucier 17 Aug 2022 21:34 UTC

On 8/17/22 5:11 PM, John Cowan wrote:
> I am a little troubled (I forget if I mentioned this before) by the use
> of the word "interval" in this connection, as it conflicts with
> intervals as in interval arithmetic.  An interval in that sense is
> everything that falls between an upper bound and a lower bound,
> inclusive or exclusive, but does not have to have denumerable members,
> much less integer ones.  Can anyone think of an alternative, or is it
> too late?

I think that it's too late to change.

Perhaps it would help to refer to this Wikipedia page:

https://en.wikipedia.org/wiki/Interval_(mathematics)

which at the moment refers both to integer intervals and
multi-dimensional intervals (but not combining them).

Brad