>>271
C++は（Cもそうだけど）型安全性がない
Adaは型安全性がある
なんで、コンパイルの時点でAdaは型システム上の異常を検知できる（ある種のバグが見つけられる）
C++はとりあえずコンパイルできてしまう
なので、より高度で安全なシステムを作るなら、Adaを選択する方が良いよね、という話になる

が、F-35ではAdaプログラマの数が揃えられなかったので、C++を使うことにして、かつ足りない部分を
コーディング規約（JSF++）で縛ることにした（すべき集・すべからず集、みたいなもん）

その結果、まず作られたコードがJSF++に即しているか検査する必要が生まれ……