CobaltC 1.0 仕様公開——C言語の後継を目指す新システム言語

CobaltC – The Successor to C?

CobaltC は、明示的な所有権、決定的破棄、コンパイラによる借用チェック、推論されたライフタイム、明示的な null 許容性、境界安全な操作、構造化エラー処理、安全な並行性を備えた、静的に型付けされたシステムプログラミング言語です。トレーシング GC を必要とせず、予測可能なリソース管理と強力なメモリ安全性を提供します。C 言語の後継を目指し、C の低レベル制御を維持しつつ、Rust に似た安全性を実現します。仕様書は 1.0.0 として公開され、言語の構文とセマンティクスを詳細に定義しています。