I have only tried Ada for a few toy programs, but given the reputation it has with some people, I was pleasantly surprised.

Ranged types are awesome. Like I said, I did not use Ada a lot, but I have on a few occasions when programming in other languages missed them.

Also, the diagnostics the GNU Ada compiler gave me were a lot more helpful than anything a C++ or C compiler ever gave me.