Ada 2012は、安全で安全で信頼性の高いソフトウェアをエンジニアリングするための、世界最高のプログラミング言語の次世代です。Adaは重大なシステムで広く使用されており、異常があると、事故による死亡、負傷、重大な経済的損失など、非常に深刻な結果を招く可能性があります。Adaが使用されるシステムの例には、航空電子工学、鉄道、銀行、軍事、宇宙技術が含まれます。
ウェブサイト:
http://www.ada2012.orgカテゴリー
ライセンスのあるすべてのプラットフォームでのAdaの代替

7

2
Nim (programming language)
Nimは静的に型付けされた、命令型プログラミング言語であり、ランタイムの効率を損なうことなくプログラマーに究極のパワーを与えようとします。