|
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)
|
Per Bothner scripsit:
> "So the getter of an Array with an empty interval as a domain would be
> able to return no values at all. So I don't understand constructions
> that allow Arrays with empty Intervals as domains to return a single
> value. Since I don't understand it, I don't allow it."
>
> "Empty intervals" can refer to two different things.
+1. Empty intervals lead to arrays with zero elements; no intervals
at all generates an array (a scalar) of rank 0 with one element.
--
John Cowan http://www.ccil.org/~cowan xxxxxx@ccil.org
If I have seen farther than others, it is because I am surrounded by dwarves.
--Murray Gell-Mann