RustがAdaに追いつこうとする：安全重視プログラミングにおける戦い

Adaは40年以上、安全重視プログラミング分野をリードしてきました。過去10年間、Rustは様々な成果を出しながらこの分野への参入を試みてきました。この講演では、バグのないコードを保証するためのAdaの強力な機能、特に堅牢なサブタイプ宣言と使いやすさについて解説し、Rustの機能と比較することで、Rustの不足点とその追いつき具合を明らかにします。