CobaltC: A Successor to C with Memory Safety Without GC
CobaltC – The Successor to C?
CobaltC is a statically typed systems programming language designed as a potential successor to C, offering memory safety without garbage collection. It features explicit ownership, deterministic destruction, compiler-checked borrowing, inferred lifetimes, and bounds-safe operations. The language aims to provide predictable resource management and native execution while allowing controlled interaction with low-level facilities through explicit unsafe operations. This specification outlines its core semantics, including ownership, borrowing, and safety guarantees.
Safe CobaltC operations MUST NOT introduce undefined behavior merely through ordinary use.
- ethin
This is so obviously written by ChatGPT from what I can tell. Not even an attempt to copyedit it unless I missed something.
- pizlonator
This doesnt seems to be meaningfully different from Rust.
> does not require tracing garbage collection
Just call it garbage collection.
(Applies in two ways: if you think that garbage collection subsumes reference counting then this language doesn’t require garbage collection in the sense that it also doesn’t require reference counting; if you think that garbage collection does not subsume reference counting then there’s no point in saying three words when you can say two.)
- ronsor
Before I read this, what is there about C3 [0] you don't like?