But back to the main theme of the thread:
As an embedded systems programmer of some 35+ years, I obviously have had to write a lot of code in machine code and later in 'C'. Because some of this was military-grade stuff for the US, I also had to spend some time with Ada. For me, these represent the extremes of the programming language spectrum.
ASM and 'C' do very little to protect the programmer from mistakes. At the point of first software delivery, there will usually be a heck of a lot of bugs that escape testing. This is because of the natural time pressure to deliver. There is a curve you can draw on a graph that demonstrates an exponential decay in discovery of bugs with time. At some point you make the decision to deliver because the bugs-detected-per-buck-spent-testing makes the decision more-or-less a given.
At the other extreme is Ada. The whole language and its development tools was specifically designed to make code robust and readable. That is why Ada exists at all as a language. Consequently, you have to spend a lot of your time interpreting the messages it gives you as to why it will not even compile your code. It wants EVERYTHING explained to it. You want me to add these two entities? Ok, how do I do that? What about overflow? What about storage size? How would you like me to deliver the result? Yada Yada Yada. By the time you get it to actually compile your code, however, it will be almost guaranteed to work first time!
So the Ada debug-curve is strange: It flat-lines for a while at a high value and then decays sharply. However, the decision to deliver is much more straight-forward, because of that sharp decline. And you WILL have less bugs in the delivered code.
So. This is why I like Pascal best: It sits somewhere in the middle between the 'laissez faire' lack of protection of ASM and C and the overbearing interfering and sometimes downright annoying interventionism of Ada.
And it gets fairly bug-free results. Fast.
That is what 35+ years experience tells me.
Pascal is the middle-ground 'liberal' language that sits between 'conservative' C and 'socialist' Ada. And Pascal programmers continue to this day to quietly produce good, simple, legible, effective code, whilst C-programmers whinge about efficiency and Ada-programmers whine about safety and integrity.