News for hackers. Stuff that matters.

A comment on Zig Devlog: Self-Hosted x86 Back End Is Now Default in Debug Mode. Parent comment

Re:Zig Devlog: Self-Hosted x86 Back End Is Now Default in De... by stratts on Sunday June 08, 2025 @10:48PM (#44221053)
What's the state of the art here?

Most of Zig's safety, or lack thereof, seems inherent to allowing manual memory management, and at least comparable to its "C replacement" peers (Odin, C3, etc).

[ Parent | on HN ]
Re:Zig Devlog: Self-Hosted x86 Back End Is Now Default in De... by ArtixFox on Sunday June 08, 2025 @10:55PM (#44221082)
I guess formal verification tools? That is the peak that even rust is trying to reach with creusot and friends. Ada has support for it using Spark subset [which can use why3 or have you write the proofs in coq] Frama-C exists for C. Astree exists for C++ but i dont think lone developers can access it. But it is used in Boeing.
[ Parent | on HN ]
Re:Zig Devlog: Self-Hosted x86 Back End Is Now Default in De... by pjmlp on Monday June 09, 2025 @04:20AM (#44222415)
Comparable to Modula-2 and Object Pascal, hence why those languages ought to do better.

Otherwise it is like getting Modula-2 from 1978, but with C like syntax, because curly bracket must be.

[ Parent | on HN ]