Technology
CobaltC language specification outlines systems programming without garbage collection
The proposed language features explicit ownership, deterministic resource management, and compiler-checked borrowing to ensure memory safety.
The short version
- A specification was released for CobaltC, a statically typed systems programming language designed for native execution.
- The language avoids tracing garbage collection by enforcing explicit ownership, deterministic destruction, and compiler-checked borrowing.
- CobaltC requires definite initialization before variables are read and restricts raw pointer dereferencing to explicit unsafe contexts.
Key facts
- CobaltC is a statically typed systems programming language designed to operate without a tracing garbage collector.[Hacker News]
- The language model permits either zero or more compatible shared borrows or exactly one mutable borrow at any given time.[Hacker News]
- Variables in CobaltC must be definitely initialized prior to being read, which is enforced by the compiler using control-flow-sensitive analysis.[Hacker News]
- Operations using raw pointers fall outside normal managed ownership guarantees and require explicit unsafe contexts.[Hacker News]
Sources
- CobaltC – The Successor to C?Hacker News