Rust以外で高信頼性指向だとAdaとかMISRA Cとか?