Vector, a fixed-size array

[ksluder (Kyle Sluder)]

@Joe_Groff

In previous discussions we've discussed having a protocol to indicate whether a type is a homogeneous aggregate of one element type.

If that’s in the cards, then surely it makes sense to model these as tuples and retroactively synthesize the HomogeneousAggregate conformance in a future runtime version?

Endowing tuples with the ability to describe repeated elements would also give the language a way to describe the memory layout of any nominal type, including classes:

class C {
  var elts: (Int * 8)
}

print(MemoryLayout<C>.StorageLayout)
// (elts: (Int * 8))