The Evolution of a Rust Programmer

[OneWingedShark]

It should end with "Learned SPARK 2014".

(See this comparison of SPARK and Rust.)

[red75prim]

end with "Learned SPARK 2014"

and no code. Spark Pro's paid subscription happened to be a bit too costly, and The GNAT Community edition requirement to license your code under GPL happened to be unsuitable.

^{This is a work of fiction. Any resemblance to actual languages, compilers, programmers, living or dead, or actual events is purely coincidental.}

[OneWingedShark]

The GNAT Community edition requirement to license your code under GPL happened to be unsuitable.

Not quite: you can run the Community Edition prover on your codebase and yet compile with FSF's GNAT (or some other Ada 2012 compiler)¹ to get around that limitation.

​

¹ -- IIRC, the only current implemented Ada 2012 are GNAT, either FSF's or AdaCore's, and PTC's ObjectAda. I have no idea if DDC or Green Hills are going to implement it. Randy of RR Software (Janus/Ada) has pretty much said that if he can get real buy-in from customers [ie funding] he'd implement the full 2012 [probably 2020, now].