CobaltC 1.0 仕様公開——C言語の後継を目指す新システム言語
CobaltC – The Successor to C?
CobaltC は、明示的な所有権、決定的破棄、コンパイラによる借用チェック、推論されたライフタイム、明示的な null 許容性、境界安全な操作、構造化エラー処理、安全な並行性を備えた、静的に型付けされたシステムプログラミング言語です。トレーシング GC を必要とせず、予測可能なリソース管理と強力なメモリ安全性を提供します。C 言語の後継を目指し、C の低レベル制御を維持しつつ、Rust に似た安全性を実現します。仕様書は 1.0.0 として公開され、言語の構文とセマンティクスを詳細に定義しています。
安全な CobaltC 操作は、通常の使用によって未定義動作を引き起こしてはなりません。
HNでの議論
22- ethin
これは明らかにChatGPTが書いたものだと思う。校正すらしようとしていない。何か見落としていなければの話だが。
- pizlonator
これはRustと実質的に違いがないように思える。
> トレーシングGCを必要としない
ただ単にガベージコレクションと呼べばいい。
(これは2つの意味で当てはまる: もしガベージコレクションが参照カウントを包含すると考えるなら、この言語は参照カウントも必要としないという意味で、ガベージコレクションも必要としない。もしガベージコレクションが参照カウントを包含しないと考えるなら、2語で済むところを3語使う意味はない。)
- ronsor
これを読む前に、C3 [0]のどこが気に入らないのか教えてくれ。