7 ms·
> Maybe some predicate such as "valid(tab,n,m)" indicating that array tab is valid from n to m inclusive. That can be done with a Vec in Rust (n is vec.len() a
by BlandSatellites 7y ago
> Maybe some predicate such as "valid(tab,n,m)" indicating that array tab is valid from n to m inclusive.
That can be done with a Vec in Rust (n is vec.len() and m is vec.capacity()).
- Animats 7y agoVec is an unsafe built-in. If you can talk about partially initialized arrays, you can write Vec as safe code.