Cobalt C 1.0.0 — это статически типизированный язык системного программирования, предназначенный для предсказуемого управления ресурсами и надёжной безопасности памяти. Спецификация вводит явное владение, детерминированное уничтожение и проверяемое компилятором заимствование. Ключевые функции включают выводимые времена жизни, явную допускающую null значимость и операции с безопасными границами. Язык ориентирован на программное обеспечение, требующее нативного выполнения и контролируемого взаимодействия на низком уровне без трассирующего сборщика мусора. Модули устанавливают пространства имён и поддерживают структурированную обработку ошибок. Безопасные операции не должны вводить неопределённое поведение при обычном использовании. Синтаксис поддерживает объявления переменных с управлением изменяемостью, определения констант и примитивные типы, включая целые числа и числа с плавающей точкой фиксированной ширины. Составные типы включают структуры, перечисления, кортежи и типы функций. Управляемые ссылки используют семантику владения, тогда как необработанные указатели требуют небезопасных контекстов для управления. Спецификация описывает правила совместимости типов и семантику объявлений для констант и переменных.