Cobalt C 1.0.0 es un lenguaje de programación de sistemas con tipado estático diseñado para una gestión de recursos predecible y una seguridad de memoria sólida. La especificación introduce propiedad explícita, destrucción determinista y préstamo verificado por el compilador. Las características clave incluyen tiempos de vida inferidos, nulabilidad explícita y operaciones seguras de límites.

El lenguaje se dirige a software que requiere ejecución nativa e interacción de bajo nivel controlada sin recolección de basura de seguimiento. Los módulos establecen espacios de nombres y admiten el manejo estructurado de errores. Las operaciones seguras no deben introducir comportamiento indefinido a través del uso ordinario.

La sintaxis admite declaraciones de variables con control de mutabilidad, definiciones constantes y tipos primitivos que incluyen enteros y flotantes de ancho fijo. Los tipos compuestos abarcan estructuras, enumeraciones, tuplas y tipos de función. Las referencias gestionadas utilizan semántica de propiedad, mientras que los punteros sin procesar requieren contextos inseguros para su manipulación.

La especificación describe las reglas de compatibilidad de tipos y la semántica de declaración para constantes y variables.