Email list hosting service & mailing list manager

empty intervals Per Bothner (29 Jul 2015 16:44 UTC)
Re: empty intervals John Cowan (29 Jul 2015 17:12 UTC)
Re: empty intervals John Cowan (29 Jul 2015 17:16 UTC)
Re: empty intervals Bradley Lucier (29 Jul 2015 20:21 UTC)
Re: empty intervals Per Bothner (29 Jul 2015 20:56 UTC)
Re: empty intervals Bradley Lucier (29 Jul 2015 22:02 UTC)
Re: empty intervals Per Bothner (29 Jul 2015 23:36 UTC)
Re: empty intervals John Cowan (01 Aug 2015 03:52 UTC)
Re: empty intervals Bradley Lucier (01 Aug 2015 03:57 UTC)
Re: empty intervals Bradley Lucier (31 Jul 2015 20:49 UTC)
Re: empty intervals Per Bothner (31 Jul 2015 22:14 UTC)
Re: empty intervals John Cowan (31 Jul 2015 23:57 UTC)
Re: empty intervals John Cowan (31 Jul 2015 23:37 UTC)
Re: empty intervals Bradley Lucier (01 Aug 2015 02:00 UTC)
Re: empty intervals John Cowan (29 Jul 2015 21:11 UTC)
Re: empty intervals Bradley Lucier (29 Jul 2015 22:27 UTC)
Re: empty intervals John Cowan (01 Aug 2015 04:20 UTC)

Re: empty intervals Per Bothner 31 Jul 2015 22:14 UTC


On 07/31/2015 01:49 PM, Bradley Lucier wrote:
> I've just looked a bit at these APL-type languages.  In Nial, for
> example, everything is an array.  It seems that they consider numbers,
> strings, etc., to be zero-dimensional arrays, with the convention that a
> zero-dimensional array is a scalar.
>
> I don't think we need that convention here, scheme has perfectly good
> non-array objects.

It can be an optional extension.  Just promises are optionally convertible
to scalars, so could zero-dimension arrays.

In any case to clarify, of the two issues:

(1) This case
(= (interval-lower-bound I i) (interval-upper-bound I i))
This needs to be allowed, no ifs or buts, and the specification
needs to say so.

(2) This case:
(= (interval-dimension I) 0)
I don't feel as strongly about, though it would be allowed in any
implementation I control. I think there is no good reason to not
allow it, and good reasons (consistency, generality) to allow it.
However, SRFI-122 can leave it unspecified, if you prefer.
--
	--Per Bothner
xxxxxx@bothner.com   http://per.bothner.com/