why did we create Rust when superior Ada and SPARK already exists?

>looks like C
but it isn't. it's more FP-like and closer to OCaml

Because no one wants to write code like this.
>it's more FP-like and closer to OCaml
If you use it that way. It also has genuine objects. You can do OOP with rust, but not class inheritance.

>>105725998
Vtables were always the most important part of OOP, and rust arguably does that better that most languages with fat pointers (and there's a package to do thin pointers)

>>105725578 (OP)
Because it's le heckin' memory safe.
What do you mean the language I wrote my program in doesn't count as a feature?

>>105725578 (OP)
>looks like c
it's more verbose than java
let it go pajeet

>>105725998
>Because no one wants to write code like this.
so what the point is theres no reason rust to exits

>>105726649
Based unintelligibleposter

>>105725578 (OP)
>why did we create something modern and actually using modern features instead of a language that's stuck with an ISO committee that refuses to modernize the language without going through 10 years of documents

SPARK does not deal with dynamic memory allocation

>>105725578 (OP)
yeah but Prolog Forth Scheme Joy Limbo Roc FLENG blah blah blah there are a lot of cool as shit programming languages nobody uses. I think key point of being able to truly evaluate the merits and downsides of a programming language are:
A. have a good foundational knowledge of programming language design, understanding how compilers work, key features in language implementations and why are designed the way they are
B. Take the time to really dive into these languages, writing non-trivial software, gaining a comprehensive understanding of the design of the language instead of just mindlessly fellating it because you're a retard who thinks niche languages with 2 unique features are suddenly holy. I think being able to as an individual develop a functional implementation of your chosen language proves it is both simple enough to be understood in its entirety by a single developer (this is almost entirely overlooked in mainstream programming) and that you understand the language itself from a true bottom-up perspective and are able to judge it from its pure form (in formal language, not a finished usable system)

>>105725578 (OP)
because you're stupid retard that never used either

>>105727104
that makes it safer thrna rust

>why did we create Rust
>we

Because Ada is pure fucking torture to use for anything, even trivial programs. Rust is smart enough to hide how fucked up it is until you have to deal with advanced lifetimes.

>>105729029
yoiu need a phd for borrow checjer