Cobalt C 1.0.0 adalah bahasa pemrograman sistem yang diketik statis dirancang untuk manajemen sumber daya yang dapat diprediksi dan keamanan memori yang kuat. Spesifikasi ini memperkenalkan kepemilikan eksplisit, penghancian deterministik, dan peminjaman yang diperiksa kompiler. Fitur utama termasuk lifetime yang ditaksir, nullabilitas eksplisit, dan operasi aman terbatas.

Bahasa ini ditujukan untuk perangkat lunak yang membutuhkan eksekusi native dan interaksi tingkat rendah yang terkontrol tanpa pengumpulan sampah pelacakan. Modul menetapkan ruang nama dan mendukung penanganan kesalahan terstruktur. Operasi aman tidak boleh memperkenalkan perilaku yang tidak terdefinisi melalui penggunaan biasa.

Sintaks ini mendukung deklarasi variabel dengan kontrol kemutabilan, definisi konstanta, dan tipe primitif termasuk bilangan bulat lebar tetap dan bilangan pecahan. Tipe majemuk mencakumi struct, enum, tuple, dan tipe fungsi. Referensi yang dikelola menggunakan semantik kepemilikan, sementara pointer mentah membutuhkan konteks tidak aman untuk manipulasi.

Spesifikasi ini menguraikan aturan kompatibilitas tipe dan semantik deklarasi untuk konstanta dan variabel.