On: How can C Programs be so Reliable?

[tomjen3]

Ada is typically less well known and not used a lot, but if you want reliable code, it is pretty nice.

Be aware that it is a b&d language.

[eru → tomjen3]

I usually use Haskell at work, which is even more b&d in a sense and it's pretty reliable. But you can not call Haskell low-level.

[absconditus → tomjen3]

PL/SQL is similar to Ada in many ways.