DIP 1025--Dynamic Arrays Only Shrink, Never Grow--Community Review Round 1

[Ola Fosheim Grøstad]

On Monday, 11 November 2019 at 19:18:53 UTC, Jonathan M Davis 
wrote:
> I don't understand why you'd think that a dynamic array being 
> in a different state based on what you did with it would in any 
> way make it a different type. It's perfectly normal for the 
> behavior of an object to change based on its state.

Well, the conceptual state was exactly the same when accessed. So 
it is unusual for a core language type.

Anyway, there is no point in arguing this, as we first have to 
agree on what we mean by the word "type" at runtime vs "type" at 
compile time. Which would be very off topic...

(You could create a compile time ubertype that includes all other 
possible types, so that nothing can be said about any object at 
compile time, but you would still think that those objects had 
various types at runtime.)