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)
|
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/