3 ms·
I wonder if they even considered Ada/SPARK 2014, or are program languages like fashion trends, and Rust has the runway right now. I like Rust, but I would think
by eggy 7y ago
I wonder if they even considered Ada/SPARK 2014, or are program languages like fashion trends, and Rust has the runway right now. I like Rust, but I would think the amount of work that has been put into Ada/SPARK 2014 would make it the better choice for the problem set.
- steveklabnik 7y agoI would imagine that Rust’s advantage over Ada here is in the second paragraph. I don’t know if they directly considered it or not.
- eggy 7y agoSteve, I would agree; you are a large part for that momentum. Community is important, and the SPARK 2014/Ada community has proven itself to be very helpful, and has a long history behind it. I know big business decisions are sometimes made by advocates or evangelists, but you would hope somebody did their pros/cons matrix on top of that one criteria. SPARK 2014 has really surprised me in terms of what it brings to the table aside from Ada's legacy, which is also still evolving.