CobaltC – The Successor to C?

CobaltC is a statically typed systems programming language that enforces explicit ownership, deterministic destruction, compiler-checked borrowing, inferred lifetimes, bounds-safe operations, and safe concurrency, while providing explicit unsafe operations and foreign-function interfaces. The specification defines normative semantics for managed pointers, module visibility, and error handling, but leaves implementation techniques and compiler architecture to implementers.