Re:What Zig felt like, coming from Rust
by andsoitis on Sunday September 20, 2026 @09:06AM
(#49775475)
> Personally while I'm somewhat pragmatic about Rust, I do have to admit it fills a niche that no other language does currently: that of a high-performance, zero runtime memory-safe language.
Ada/SPARK comes close: memory safety is very strong, formally provable. Has no GC. Excellent performance. Very mature.
Re:What Zig felt like, coming from Rust
by tgv on Sunday September 20, 2026 @10:06AM
(#49776029)
SPARK is quite hard, harder than Rust, I would say (based on limited experience, though), and Ada isn't that memory safe, IIRC. They are, however, much more readable than Rust.
Ada/SPARK comes close: memory safety is very strong, formally provable. Has no GC. Excellent performance. Very mature.