Re:Evergreen: A Provably Safe Systems Language
by jordan_bonecut on Wednesday November 04, 2026 @12:55PM
(#50369147)
Overflow is allowed. Overflow behavior is unspecified, like C++
[ Parent
| on HN ]
Re:Evergreen: A Provably Safe Systems Language
by jordan_bonecut on Wednesday November 04, 2026 @12:57PM
(#50369177)
If you want to assume that overflow wraps either:
Your hardware does this OR You implement it in software