Hacker News Reader

> Rust supports it better than many other imperative systems languages -- even some impure functional ones!

I am surprised that this blog post does not mention Ada / SPARK at all though.

While this does not mention it, in many other discussions Rust vs Ada is mentioned. My (late) introduction to Ada via was finding out in one of the Rust forums.

Reply on news.ycombinator.com