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 John Cowan 29 Jul 2015 17:06 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