News for hackers. Stuff that matters.

A comment on Swift System Is Now Open Source. Parent comment

Re:Swift System Is Now Open Source by pjmlp on Saturday September 26, 2020 @02:14AM (#24596796)
Rust lacks the formal specifications from SPARK.

And SPARK 2014 will support ownership specifications.

Rust is the less advanced one.

[ Parent | on HN ]
Re:Swift System Is Now Open Source by wwright on Saturday September 26, 2020 @10:05AM (#24598939)
Good feedback there :)
[ Parent | on HN ]