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.