News for hackers. Stuff that matters.
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?
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.