2 ms·
Are there good examples of people replacing C++ code with Ada and Spark?
by the_mitsuhiko 6y ago
Are there good examples of people replacing C++ code with Ada and Spark?
- Rochus 6y agoUnfortunately not that many; I also don't believe that all the exited folks will really switch to Rust. Maybe this one is interesting for you: https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-autonomous-driving/ https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto...