@media screen{.mw-parser-output .fix-domain{border-bottom:dashed 1px}}最近[いつ?]の利用例としてはF-22戦闘機や97式魚雷などがある。ただしこの分野でもAdaの陳腐化が進んでおり、F-35戦闘機以降はC++へ移行している。
民生品ではあまり利用されていないが、信頼性を重視する航空機の制御ソフトウェアに利用されることがある。例としてはボーイング777など。
脚注
注釈^ 先進的ということは、言い換えれば「こなれていない」ということであり、兵器のようなシステムでは冒険的過ぎると言えなくもない。
^ この講演は、2通りのソフトウェアの設計構築法について述べた "One way is to make it so simple that there are obviously no deficiencies and the other way is to make it so complicated that there are no obvious deficiencies."; 「ひとつめの方法はあきらかに欠陥が無いようにso simpleにするというもので、もうひとつの方法はあきらかな欠陥が無いようにso complicatedにするというものである」という文章でも知られる。
出典^ ⇒C. Antony R. Hoare - A.M. Turing Award Laureate
外部リンク
⇒Ada Information Clearing House
⇒Ada規格
⇒Steelman仕様
About Ada - Adacore
表
話
編
歴
コンピュータ・プログラミング言語
低水準言語
機械語
アセンブリ言語
高水準言語
1950年代
FORTRAN
ALGOL
RPG
COBOL
1960年代
LISP
CPL
BASIC
PL/I
APL
BCPL
Simula
LOGO
B
1970年代
Forth
Pascal
C
Prolog
Smalltalk
Scheme
ML
AWK
Ada
1980年代
C++
Objective-C
Common Lisp
Eiffel
Erlang
Perl
Mathematica
J
1990年代
Python
Tcl
Haskell
Visual Basic
Ruby
Lua
Delphi
Java
ECMAScript (JavaScript)
PHP
OCaml
SuperCollider
R
2000年代
C#
VB.NET
Scala
Clojure
D
F#
Go
Nim
2010年代
Dart
Ceylon
Elixir
Crystal
Hack
Swift
Rust
Raku
Elm
Julia