CobaltC: преемник C?

CobaltC – The Successor to C?

Опубликована спецификация языка системного программирования CobaltC 1.0.0. Язык сочетает явное владение памятью, детерминированное уничтожение объектов и проверяемые компилятором заимствования с инференсом времён жизни, обеспечивая безопасность памяти без сборщика мусора. CobaltC поддерживает безопасную конкурентность, явные unsafe-операции и FFI, а также строгую проверку границ. Спецификация описывает ключевые механизмы: владение, перемещение, заимствование, частичные перемещения, нулевые ссылки и безопасные операции. Язык позиционируется как замена C для систем, требующих предсказуемого управления ресурсами и высокой производительности.