CobaltC: преемник C?
CobaltC – The Successor to C?
Опубликована спецификация языка системного программирования CobaltC 1.0.0. Язык сочетает явное владение памятью, детерминированное уничтожение объектов и проверяемые компилятором заимствования с инференсом времён жизни, обеспечивая безопасность памяти без сборщика мусора. CobaltC поддерживает безопасную конкурентность, явные unsafe-операции и FFI, а также строгую проверку границ. Спецификация описывает ключевые механизмы: владение, перемещение, заимствование, частичные перемещения, нулевые ссылки и безопасные операции. Язык позиционируется как замена C для систем, требующих предсказуемого управления ресурсами и высокой производительности.
Безопасные операции CobaltC не должны приводить к неопределённому поведению при обычном использовании.
- ethin
Насколько я могу судить, это явно написано ChatGPT. Даже не попытались вычитать, если только я чего-то не упустил.
- pizlonator
Это не кажется принципиально отличным от Rust.
> не требует трассирующей сборки мусора
Просто назовите это сборкой мусора.
(Применимо двояко: если считать, что сборка мусора включает подсчёт ссылок, то этот язык не требует сборки мусора в том смысле, что он также не требует подсчёта ссылок; если считать, что сборка мусора не включает подсчёт ссылок, то нет смысла говорить три слова, когда можно сказать два.)
- ronsor
Прежде чем я это прочитаю, что вам не нравится в C3 [0]?