Sure they are different: OOP/Pascal-like vs. multi-paradigm/C-like language, etc., but the point of the spoke and hub analogy is that coming from different side

Sure they are different: OOP/Pascal-like vs. multi-paradigm/C-like language, etc., but the point of the spoke and hub analogy is that coming from different sides (spokes), but directing towards something like safe, secure programming is what they have in common (the hub), and has instigated the ADA/SPARK community to take notice, and vice versa for Rust. Look at these two discussions for a bit of where I am going with it: https://www.reddit.com/r/ada/comments/7wzrqi/why_rust_was_the_best_thing_that_could_have/ https://www.reddit.com/r/ada/comments/7wzrqi/why_rust_was_th... https://www.reddit.com/r/rust/comments/7ibea3/safe_pointers_in_spark_ada_inspired_by_rusts/ https://www.reddit.com/r/rust/comments/7ibea3/safe_pointers_... I like Rust (and I like Zig too). I like ADA/SPARK 2014. I am currently interested in safe, secure, verifiable and validated software development, and these PLs are on my radar. I have also considered a duo of F*/F#, but they are not ticking as many boxes as ADA/SPARK 2014. I'd love to see the cross pollination or competition between Rust and SPARK 2014 lead to them both improving, and borrowing concepts from each other. Rust is being touted more and more for embedded, and SPARK 2014 is already there. Now if I could get SPARK/Rust in a Lisp!