用 Rust 拯救 60 岁老程序员：用 Ada 写了几十年的飞机程序，现在终于可以改用 Rust 了
💡
原文中文，约3500字，阅读约需9分钟。
📝
内容提要
AdaCore计划为具有高安全需求的行业提供长期支持的Rust fork。他们将推出GNAT Pro for Rust 25，提供全面集成和双向绑定。AdaCore通过GNAT Pro Assurance提供Rust技术支持。一些Ada程序员担心Ada的覆盖范围会收窄。
🎯
关键要点
- AdaCore计划为高安全需求行业提供长期支持的Rust fork。
- Rust语言在安全系统编程中受到越来越多行业的关注，尤其是汽车、航空航天和国防领域。
- 客户对开源工具的快速变化和支持不足表示担忧，尤其是在航空航天和国防领域。
- Ada是一种由美国国防部开发的编程语言，广泛应用于军事和航空领域，但在商业领域使用有限。
- Ada的语法与Rust有许多共同点，特别是在内存安全方面。
- GNAT Pro是AdaCore的开发平台，支持Rust语言的安全认证嵌入式应用程序开发。
- AdaCore选择分叉Rust以提供长期支持和向下兼容性，计划于明年推出GNAT Pro for Rust 25。
- AdaCore通过GNAT Pro Assurance提供Rust技术支持，确保客户的需求得到满足。
- Ada的使用者普遍年龄较大，年轻程序员对Ada的兴趣不高，担心Ada的覆盖范围会进一步收窄。
- 一些Ada程序员对AdaCore支持Rust表示担忧，认为Ada可能会被忽视。
➡️
