CobaltC：C 语言的真正继任者？
CobaltC – The Successor to C?
CobaltC 作为一种静态类型系统编程语言，旨在成为 C 语言的继任者。它提供显式所有权、确定性销毁、编译器检查的借用机制、推断生命周期、显式空值处理、边界安全操作、结构化错误处理、安全并发以及显式不安全操作和外部函数接口。该语言专为需要可预测资源管理、强内存安全、原生执行和受控低级设施交互的软件而设计，且无需追踪垃圾回收。通过严格的类型系统和所有权模型，CobaltC 力求在保持 C 语言性能优势的同时，彻底解决内存安全和资源管理问题。
CobaltC 不需要追踪垃圾回收。
HN 评论区
22- ethin
这明显是 ChatGPT 写的，至少我是这么看的。除非我漏掉了什么，否则根本没做任何校对。
- SilentLambda
根据 ChatGPT 的说法，CobaltC 语言规范现在（自从规范最近更新了勘误表后）已经提供了足够的语法、结构和语义边界，可以开始高级编译器的实现规划了，尽管它故意将底层的机械决策留给了开发者。
- pizlonator
这看起来和 Rust 没什么实质区别。
> 不需要追踪式垃圾回收
直接叫它垃圾回收不就行了。
（有两层含义：如果你认为垃圾回收包含了引用计数，那么这种语言就不需要垃圾回收，因为它也不需要引用计数；如果你认为垃圾回收不包含引用计数，那说三个字就没必要了，两个字就够了。）