> Well, what do you mean? Of course you can't put anything into it, and any > attempt to index it will throw. It may seem useless, however, if you can > have > an empty array, why can't you have a shaped empty array? >
Only if all dimensions are unindexable. Otherwise you have something with inaccessible slots (and, potentially thereby, not truly leaked but unusable, memory). And an empty unshaped array, in addition to being usable as such (degenerate case of all shaped dimensions being size 0), can be made non-empty. Shaped arrays cannot.
