News for hackers. Stuff that matters.

A comment on 0.11.0 Release Notes. Parent comment

Re:0.11.0 Release Notes by grumpyprole on Friday August 04, 2023 @03:31AM (#36996639)
Memory safety is one aspect of quality yes, but is there any evidence Zig is a good fit for other quality aspects, e.g. static analysis tooling and correctness proofs? ATS is a low-level language that allows embedded proofs of correctness in the type system.
[ Parent | on HN ]
Re:0.11.0 Release Notes by johnisgood on Friday August 04, 2023 @04:42AM (#36997194)
That article does not even mention Ada/SPARK... So much for safety. :P Yup, there is static analysis with Ada/SPARK and it is great. It is much more general-purpose than ATS, and there are other things in Ada/SPARK that increases safety in general, not only memory safety.

For what it is worth, Ada/SPARK has a strong presence in safety-critical domains like aerospace and medical devices, while Rust is gaining popularity in system programming and web development. ^^ I'm surprised that it is not as widespread. That, or lots of misconceptions.

[ Parent | on HN ]
Re:0.11.0 Release Notes by grumpyprole on Friday August 04, 2023 @04:55AM (#36997298)
Yes Ada/SPARK is a great example.
[ Parent | on HN ]