Austral：一款追求极致简洁和严格性的系统编程语言
2025-03-20
Austral 是一种新型的系统编程语言，它可以被认为是 Rust 的精简版或现代化的 Ada。其设计目标是简洁和严格，通过强大的静态类型系统、线性类型、基于能力的安全性和强大的模块化来实现。线性类型确保资源的正确生命周期管理，避免内存泄漏等错误；基于能力的安全机制则防止供应链攻击。Austral 摒弃了 NULL、垃圾回收、异常等特性，力求最大限度地提高安全性及可预测性。
开发
能力安全