On 2026-04-15 07:36 -0400, Peter McGoron wrote:
> Here is an alternative proposal that explicitly labels the upper
> bound as inferred.

I'm not sure I see the benefit of this.  Presumably an exception
is raised (or the effect is undefined) if an inferred upper
bound cannot be determined (e.g. if the contents are mishaped
in that dimension.)  Since programmers will have to put a good
deal of care into the writing of their contents datums to avoid
surprises, what's the advantage of leaving out a single bound?
Is there any situation in which you know enough to write a valid
contents datum but not enough to write all of the array's upper
bounds?

(This is not a rhetorical question.  I don't have much experience
with array programming.)

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>