Ada

“Ada either outperforms it (because it can reduce sizes in the optimiser), or it is equal to it.”

“Operations are well defined, and to do stuff like in C, you must do Unchecked_Something calls.”

“we as industry should have long replaced both of them with something better, since Ada and Modula-2 came to be”

“The older languages with more math and validation behind them (Ada?) are probably even better suited for generated code”

“it is readable, it is modern, it has many features both for embedded and general purpose use”

“then why should I not use Rust, Go, Zig, D, C, V, Ada, C++, Nim, Swift, Kotlin Native, Haskell”

“at least gcc can compile it so it's not limited to the very few architectures that rust supports”

“Rust and Ada are revolutionary languages in their own right, but 10x holy grail they aren't.”

“Ada out-of-the-box provides safety roughly on-par with the high-integrity C++ style-guide”

“You have to go back to languages not contaminated by C, like Ada, to find true non-negative integers among the primitive data types.”

“I would probably pick Ada, given its industry role, and besides Ada Core, there are actually other six vendors still in business.”

“We use Ada still in industry application. Developing, implementation, installation and forget it because its running.”

“run time was good, and you could turn off things like run time range checking, if you wanted to.”

“even if Ada is amazing and very secure, it could not help avoid at least one airspace disaster”

“It's actually really great for anything where you want to be more safe/correct, like banking”

“Not going with C/C++/Rust style brace syntax probably cost them more devs than anything else”

“The objective of consolidating DOD systems on Ada failed, the mandate was short-lived and exceptions were broadly available.”

“it was trying to stop missiles from being maintained in 450 incompatible dialects, which... it actaully did?”

“ADA didn't help; it was cumbersome to get working well, and ADA experience in the contracting agencies was low.”

“the programmer specifies behaviors like "in", "out" and "in/out" and the compiler chooses freely how to pass the parameters”

“However, the real defect of Ada has been neither complexity nor verbosity, but expensive compilers and software tools”

“I came away with much-deepened insight and admiration for those involved in researching, designing and building the language”

“work with Ada as soon as 1980 wherever high guarantee of reliability was taken seriously”

“I like how the syntax is expressive and reads naturally while relying heavily on types.”

“It was explicitly designed to be very readable, and for use in safety-critical systems.”

“The abstract syntax of Ada is in many cases superior to that of the C-derived languages, but I also dislike its verbosity.”

“Some languages, like Ada, have special array attributes for accessing the first and the last elements.”

“the core of Ada has survived with only significantly useful extensions added on in later standards”

“The proposed alternatives of ADA, modern C++, and hardware optimization just feel laughably out of touch.”

“Unmatched in hard real-time systems via deterministic scheduling, priority inheritance, bounded execution time analysis”

“Ada has been designed for embedded programming and the language includes constructs for directly manipulating hardware”

“Ada does. It has been through 5 editions so far and backwards compatibility is always maintained”

“All of which were good solutions useful for "everything" in their domain. But people hate them, mostly.”

“My initial enthusiasm for the idea of Ada and Spark evaporated when I saw how much ceremony the code required.”

“If the DoD enforces the requirement for Ada, Universities, job training centers, and companies will follow.”

“Ada is very scalable, suitable for everything from blinking LEDs on an AVR microcontroller board to controlling interplanetary spacecraft.”

“SPARK proves what Rust's borrow checker only approximates, and does so with mathematical proof, not heuristics.”

“The approach to memory safety isn't as strong as Rust, but it is a lot stronger than C or C++.”

“they forgot about making the language approachable so it lives in its bubble for safety criticial usage”

“fulfilled the promise of a safe systems language decades ago without making most of the mistakes Rust does”