Skip to content
Beskid

Collections.Array

Purpose

Section titled “Purpose”

Define contiguous array primitives and contracts.

MVP surface

Section titled “MVP surface”
  • Array.Len<T>(T[] values) -> i64
  • Array.Iterate<T>(T[] values) -> ArrayIter<T>

Notes

Section titled “Notes”
  • Array behavior should stay close to runtime representation.
  • Bounds and safety semantics are language-level guarantees.