Rust의 Ada 따라잡기: 안전 중요 프로그래밍 분야의 경쟁

Ada는 40년 이상 안전 중요 프로그래밍 분야를 지배해왔습니다. 지난 10년 동안 Rust는 다양한 성과를 거두면서 이 분야에 진입하려고 시도했습니다. 이 발표에서는 버그 없는 코드를 보장하기 위한 Ada의 강력한 기능, 특히 강력한 하위 유형 선언과 사용 편의성을 설명하고, Rust의 기능과 비교하여 Rust의 부족한 점과 Ada를 따라잡는 속도를 보여줍니다.