Ada

just discovered this language (Ada) and am thinking of learning it, it looks like it would be a very good language to make some small projects

what does /prog/ think?

And keeping track of pointers and memory management in C is simply beyond what is humanly possible after a certain point.
A certain point of bad design, but yes, I can see how the same subpar programmers would be sitting there with a mess that they couldn't get to compile at all, rather than a mess that crashed a lot.

code that is proven correct
Hah.