Re:Evergreen: A Provably Safe Systems Language
by 0c3ca83 on Wednesday November 04, 2026 @06:00PM
(#50372649)
How about `x[i] = 7`? What if x is a vector of values that contain allocations?
[ Parent
| on HN ]
Re:Evergreen: A Provably Safe Systems Language
by jordan_bonecut on Wednesday November 04, 2026 @06:39PM
(#50372969)
I’m not quite sure I understand your question. But if x is a vector of things that contain allocations, the compiler will track a plane for them and represent them sparsely as needed be.