Cobalt C 1.0.0は、予測可能なリソース管理と強力なメモリ安全性を実現するために設計された、静的型付けシステムプログラミング言語です。仕様書では、明示的な所有権、決定論的な破棄、およびコンパイラによってチェックされた借用が導入されています。主な機能には、推論されたライフタイム、明示的な null 可能性、および境界安全な操作が含まれます。この言語は、トレースガベージコレクションなしでネイティブ実行と制御された低レベルの相互作用を必要とするソフトウェアを対象としています。モジュールは名前空間を確立し、構造化されたエラー処理をサポートします。安全な操作は、通常の使用によって未定義の動作を導入してはなりません。構文は、可変性制御を伴う変数宣言、定数定義、および固定幅整数と浮動小数点数を含むプリミティブ型をサポートします。複合型には、構造体、列挙型、タプル、および関数型が含まれます。管理対象の参照は所有権セマンティクスを使用し、生のポインターは操作のために安全でないコンテキストを必要とします。仕様書は、定数と変数の型互換性ルールと宣言セマンティクスを概説しています。