Comment by westurner

Rust then?

From "The state of Rust trying to catch up with Ada [video]" > [awesome-safety-critical]

> rustfoundation/safety-critical-rust-consortium: https://github.com/rust-lang/fls

How does what FLS enables compare to these Safe C++ proposals?

Safe C++ draft: https://safecpp.org/draft.html