3 ms·
At least a short comparison of Ada/SPARK and Rust: https://www.electronicdesign.com/industrial/rust-and-spark-software-reliability-everyone https://www.electro
by irundebian 7y ago
At 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.