>>39
Adaの前にAlgolやPL/1があって
Adaの優位性は柔軟なモジュールと
多重プロセスが言語で定義されてること
多重プロセスについてはCSPをモデルにしており
プロセス代数でデッドロック検出などが試みられたが
これは張り子の虎で実用性は殆どなかった
この頃は操作的意味論が有望だと思われていたのである
一方Rustは実用一辺倒である
Rustだってプログラムの静的解析は研究されてるが
Adaの頃とは違い実際的なアプローチになってる
Modula-3やArgusのアプローチの方が近いと感じる