2 ms·
I'd really love to read a fair and comprehensive comparison and review of Ada and Rust. Safety, performance, concurrency, low level ABI compatibility etc. Ada
by vardump 7y ago
I'd really love to read a fair and comprehensive comparison and review of Ada and Rust. Safety, performance, concurrency, low level ABI compatibility etc.
Ada does seem interesting, but all the buzz seems to be about Rust. Perhaps Ada deserves more interest?
- irundebian 7y agoAt least a short comparison of Ada/SPARK and Rust: https://www.electronicdesign.com/industrial/rust-and-spark-software-reliability-everyone https://www.electronicdesign.com/industrial/rust-and-spark-s...
- vardump 7y agoThanks, while short, it sure looks interesting. SPARK statically checked function pre- and postconditions and constrained types certainly look very interesting especially for embedded systems. And for a lot of other low level code as well.