Why go halfway with Rust when you could just pick Ada SPARK? Seems like an arbitrary choice based off of rationalizing a trend.
I feel like your comment is a bit tongue in cheek and i am going to take it at face value, but I honestly been feeling increasingly more like doing verbatim what you're suggesting and i dont have a very solid justification for it.
Because you pick Ada Spark if are in a certification heavy environment like Aerospace.
I feel like your comment is a bit tongue in cheek and i am going to take it at face value, but I honestly been feeling increasingly more like doing verbatim what you're suggesting and i dont have a very solid justification for it.