As someone in an unsexy safety critical environment, I would really love to work with a popular language that has a critical mass behind it, like in the case of the Rust community.
I would really like to hear your insights about the pros and cons of Ada 2012 and for even more critical contexts SPARK (The Ada subset not the Java framework).
Also from your experience do you have any insights on were would Rust outshine Ada?
Thanks for the article. I know you mentioned at the end of the article that there will be a future article with more details about your recommendation to use Rust. Can you expand on your reasons for this a bit?
I would really like to hear your insights about the pros and cons of Ada 2012 and for even more critical contexts SPARK (The Ada subset not the Java framework).
Also from your experience do you have any insights on were would Rust outshine Ada?