That's why Toyota moved to Ada, because their C or C++ software caused crashes.

Pattern matching is in all functional languages, afaik.

Ada has ranges and subtypes.

  type Angles is 0 .. 360;
  subtype Acute_Angles is range Angles'First .. 90;

Subtypes can be used with the parent type without conversions.

Pascal only has subranges, iirc.

c is the new BASIC.

To me it seems that python is the current BASIC.

FYI, re the ranges in rust, you can do a range minus 10 in Ada, I use it in my SDL2 bindings.

I'm curious, what do you mean by this?

If the price is not on the website, you can't afford it.

Your first point cancels out your fourth.

Ada has the concept of Pools, the heap is one of the pools, you can define your own.

Pretty sure Java in vscode and android studio places block names after }'s because it's hard to read otherwise.

You talk about C and C++ yet call Ada "ancient," C from 1969 and C++ from 1979.

Whereas Ada's first version is from 1980 and first standardised version (different to 1980) in 1983. Yeah, "ancient."