Why exactly did we need Rust again?https://en.wikipedia.org/wiki/SPARK_(programming_language)
shitty flame bait thread
>>107593674Ada Lovelace was a biological female. This upsets Rust advocates.
>COBOL programming language releasesWhy exactly did we need COBOL again? Assembly works fine>C programming language releasesWhy exactly did we need C again? COBOL works fine>C++ programming language releasesWhy exactly did we need C++ again? C works fine
>>107593674Boomer language for boomer times. It's obsolete now.
>>107593707this but unironically
>>107593878this shit looks like plsql and is triggering ptsd for me right now
>>107593674Anyone who advocates for Ada SPARK for general programming never used Ada SPARK for general programming.
>>107593674So Spark is just Ada for retards who shouldn't be touching Ada?
>>107593674what plane is that, autistbros?
>>107593878All of those languages used to be more popular than C. Ada is still more advanced than C. C is technological regression and enshittification that created a dark age.>>107594562>So Spark is just Ada for retards who shouldn't be touching Ada?That's the C way of looking at it. C shills (liars) told everyone that anything that improves productivity or software quality is bad and you should want software to be bad, and this is why C caused the technological dark age. Spark is an extension to Ada for formal verification, that takes longer to write but has more guarantees about correct code.
>>107595354We can thank Unixfags/Academia for C's adoption and growth and Linuxfags/Academia for its continuance.
>>107594257This lmao. SPARK is so restricted it's next to useless outside of very specific regulated environments.
>>107595396There's also the academia who liked Lisp but they got replaced.
