CobaltC: Die Nachfolge von C?

CobaltC – The Successor to C?

CobaltC ist eine statisch typisierte Systemprogrammiersprache, die explizite Ownership, deterministische Destruktion, compilergeprüftes Borrowing, inferierte Lifetimes, explizite Nullability, bounds-sichere Operationen, strukturierte Fehlerbehandlung und sichere Nebenläufigkeit bietet – ohne Garbage Collection. Die Spezifikation 1.0.0 definiert strenge Regeln für Ownership, Moves, Borrowing und Aliasing, um Speichersicherheit zu gewährleisten. CobaltC zielt auf Software ab, die vorhersagbares Ressourcenmanagement und starke Speichersicherheit erfordert, und bietet explizite unsichere Operationen für die Interaktion mit Low-Level-Schnittstellen.