
7
Ada 2012 ist die nächste Generation der weltweit führenden Programmiersprache für die Entwicklung sicherer und zuverlässiger Software.Ada wird häufig in kritischen Systemen eingesetzt, in denen Anomalien schwerwiegende Folgen haben können, z. B. Tod, Körperverletzung oder schwerwiegende finanzielle Verluste.Beispiele für Systeme, in denen Ada verwendet wird, sind Avionik, Eisenbahn, Bankwesen, Militär und Raumfahrttechnik.
Webseite:
http://www.ada2012.orgKategorien
Alternativen zu Ada für alle Plattformen mit einer Lizenz

7
Crystal (programming language)
Programmiersprache mit Ruby-ähnlicher Syntax, die zu effizientem nativem Code kompiliert wird.

2
Nim (programming language)
Nim ist eine statisch typisierte, zwingende Programmiersprache, die versucht, dem Programmierer ultimative Leistung zu bieten, ohne Kompromisse bei der Laufzeiteffizienz einzugehen.