Cobalt C 1.0.0 是一种静态类型的系统编程语言，旨在实现可预测的资源管理和强大的内存安全。该规范引入了显式所有权、确定性销毁和编译器检查的借用。关键特性包括推断的生命周期、显式的可空性以及边界安全的操作。该语言面向需要本地执行和受控低级交互且无跟踪垃圾回收的软件。模块建立命名空间并支持结构化错误处理。安全操作不得通过普通使用引入未定义行为。语法支持具有可变性控制的变量声明、常量定义以及包括固定宽度整数和浮点数的基本类型。复合类型包括结构体、枚举、元组和函数类型。托管引用使用所有权语义，而原始指针需要不安全上下文进行操作。该规范概述了常量和变量的类型兼容性规则和声明语义。