SE-0453: Vector, a fixed size array

[Jean-Daniel]

@wes1

I can't build anything like resize or even initialize from array for arbitrary sizes, and virtually all of my applications require an arbitrary size.

I think Array is what you're looking for. Vector is explicitly designed as a fixed size collection (with size statically defined and part of the type).

The constraints on the Size parameter are defined by SE-0452: Integer Generic Parameters and may be relaxed in the future, but Vector would still remain fixed size.