Cobalt C 1.0.0 ist eine statisch typisierte Systemprogrammiersprache, die für vorherschreibbares Ressourcenmanagement und starke Speichersicherheit entwickelt wurde. Die Spezifikation führt explizites Eigentum, deterministische Zerstörung und compiler-geprüfte Verleihung ein. Zu den wichtigsten Funktionen gehören inferierte Lebenszeiten, explizite Nullbarkeit und grenzensichere Operationen.

Die Sprache richtet sich an Software, die native Ausführung und kontrollierten Low-Level-Zugriff ohne Tracing-Garbage-Collection erfordert. Module etablieren Namensräume und unterstützen strukturiertes Fehlerhandling. Sichere Operationen dürfen kein undefiniertes Verhalten durch gewöhnliche Verwendung einführen.

Die Syntax unterstützt Variablendeklarationen mit Materiability-Kontrolle, Konstantdefinitionen und primitive Typen einschließlich fester Breite Ganzzahlen und Gleitkommazahlen. Zusammengesetzte Typen umfassen Strukturen, Enumerationen, Tupel und Funktionstypen. Verwaltete Referenzen nutzen Eigentumssemantik, während rohe Zeiger für die Manipulation unsichere Kontexte erfordern.

Die Spezifikation skizziert die Typkompatibilitätsregeln und Deklarationssemantik für Konstanten und Variablen.