examples/typed-arrays.umsg

%unimsg 0 example/typed-arrays/v0

-- Typed arrays, adopted 2026-09-02: a homogeneous numeric array as a kernel
-- value, with a text form a person reads and a diff aligns. See the arrays
-- block of spec/unimsg-v0.umsg and docs/52 for why.
--
-- In the corpus so that every implementation carries one of each kind on
-- every run of check.sh. An implementation that has not implemented the sigil
-- refuses this document, which is the point of its being here.

typed-arrays @example/typed-arrays/v0 {
  title "One of each kind of typed array"

  -- The type is the marker: no f inside ^f64, and 1.5 inside ^u8 is an error.
  readings   ^f64 [ 315.71, 317.45, 317.51, 317.27, 315.87 ]
  counts     ^u16 [ 31, 28, 31, 30, 31, 30 ]
  offsets    ^i8 [ -3, 0, 2, -1 ]
  identifier ^u64 [ 18446744073709551615 ]

  -- A shape has at least two extents, joined by x; rows run along the last.
  rotation ^f32:3x3 [
    0.8660254, -0.5, 0
    0.5, 0.8660254, 0
    0, 0, 1
  ]

  -- null is a missing POSITION, not a value: the array carries a validity mask.
  sensor ^f64 [ 20.5, null, 20.7, 20.6, null ]

  -- Half precision, and the three values the text spells specially.
  half ^f16 [ 1.5, -0, 65504, 6e-8, nan, inf, -inf ]

  -- Empty, shaped and masked at once, and one element.
  nothing ^u8 []
  grid    ^i32:2x2 [ 1, null, null, 4 ]
  one     ^f64 [ 0.1 ]
}