Vectors

Growable lists with vec().

vec()

Push elements and read length and index. Higher-order helpers like filter ship.

fn main() {
    let xs = vec().push(10).push(20).push(30)
    print(xs.len())
    print(xs.get(0))
}

fn main() -> void {
    let xs = vec().push(10).push(20).push(30)
    print(xs.len())
    print(xs.get(0))
}

Output

3
10