4 ms·

I agree, but I think you should then look at SPARK2014 [1]. Rust just has better marketing and a bigger company behind it, but SPARK2014 is simpler and has been

by eggy 4y ago

I agree, but I think you should then look at SPARK2014 [1]. Rust just has better marketing and a bigger company behind it, but SPARK2014 is simpler and has been delivering Rust's bullet list for almost 10 years. [1] https://www.adacore.com/about-spark https://www.adacore.com/about-spark

Gigachad 4y ago
Why on earth did they add 2014 to the name? It’s like putting an expiry date on it before it even takes off.
- eggy 4y ago
  It is more a version thing, and I always put it in the name to differentiate from Apache's Spark. That and the all-uppercase letters.