I’ve never used Rust but from my very cursory knowledge of what the borrow checker entails, it wouldn’t add so much to Ada.

Use of pointers is already strongly discouraged by the simple fact that the language is designed to rarely truly need them. Besides, the compiler itself chooses automatically whether to pass data by value or by reference depending on the required results and what is most efficient. You can also specify parameters passed to a function as read-only. Finally, another thing that Ada does to prevent yourself shooting in your foot is to enforce strong encapsulation of functions and data.

Overall, one way to put it in simple terms is that Ada requires the programmer to give enough information to the compiler so as to ensure that it actually outputs what you want it to, which as far as I understand, is sort of what the borrow checker is there for. The downside to the Ada approach is that it is very verbose, but with the kind of code editing capabilities we have nowadays it’s certainly not as much a hassle as it was when Ada came out.

Anyways, I suspect that both languages are different enough in overall paradigm that trying to solve problems in Ada the way you would in Rust would probably be quite frustrating and give rather poor result.

“Before rust you could either have a fast language (C/C++) or a memory safe language (any other language. That is, languages with garbage collector).”

Ada managed to do safe and fast over forty years ago.

Not entirely sure but this has to be one of the oldest and is fully functional.

4 channel mono audio mixer, with germanium transistors only

From the mid-sixties

And that surprises you?

Ran a quick search and multiple well established news outlets are reporting this.

I’m afraid it is.

The wording does seem very out of character for Rutte but it makes sense that he feels the need to stoop to Trump’s level and overdo the flattering.

There’s a lack of consensus the matter. Some specialists claim that it belongs to the family of Amphetaminoraptors.

She quickened cast the banishment spell to send the water elemental back to its home plane.

I’m sorry if you didn’t get my lame joke over the fact that the universalist and simplistic definitions of planets give the same result in the comic

You can hide behind fancy words but clearly this is just being simplistic