Gregory's Server
What about Ada? It's been considered a safe, high reliability language for decades.
Years ago my university decided use Ada as their intro language, and we all hated it and wanted something more commercially useful. As time has progressed Ada is looking more and more interesting. I think most of the resistance is C programmers get frustrated with the Pascal like syntax.
It looks like it's possible to create dynamic libraries with Ada.