Cobalt C 1.0.0 é uma linguagem de programação de sistemas estaticamente tipada projetada para gerenciamento de recursos previsível e segurança de memória forte. A especificação introduz propriedade explícita, destruição determinística e empréstimo verificado pelo compilador. Os recursos principais incluem tempos de vida inferidos, nulabilidade explícita e operações seguras dentro dos limites.

A linguagem direciona software que requer execução nativa e interação de baixo nível controlada sem coleta de lixo de rastreamento. Os módulos estabelecem namespaces e suportam tratamento estruturado de erros. Operações seguras não devem introduzir comportamento indefinido por meio de uso ordinário.

A sintaxe suporta declarações de variáveis com controle de mutabilidade, definições de constantes e tipos primitivos incluindo inteiros e flutuantes de largura fixa. Os tipos compostos abrangem structs, enums, tuplas e tipos de função. Referências gerenciadas utilizam semântica de propriedade, enquanto ponteiros brutos requerem contextos inseguros para manipulação.

A especificação descreve as regras de compatibilidade de tipos e a semântica de declaração para constantes e variáveis.