Cobalt C 1.0.0 est un langage de programmation système fortement typé conçu pour une gestion des ressources prévisible et une sécurité mémoire solide. La spécification introduit une propriété explicite, une destruction déterministe et un emprunt vérifié par le compilateur. Les fonctionnalités clés comprennent des durées de vie inférées, une nullabilité explicite et des opérations sûres dans les limites.

Le langage cible les logiciels nécessitant une exécution native et une interaction de bas niveau contrôlée sans collecte de déchets de suivi. Les modules établissent des espaces de noms et prennent en charge la gestion structurée des erreurs. Les opérations sûres ne doivent pas introduire de comportement indéfini par un usage ordinaire.

La syntaxe prend en charge les déclarations de variables avec un contrôle de la mutabilité, des définitions de constantes et des types primitifs comprenant des entiers et des flottants à largeur fixe. Les types composés comprennent des structures, des énumérations, des tuples et des types de fonction. Les références gérées utilisent la sémantique de propriété, tandis que les pointeurs bruts nécessitent des contextes non sécurisés pour leur manipulation.

La spécification décrit les règles de compatibilité des types et la sémantique de déclaration pour les constantes et les variables.