CobaltC: Die Nachfolge von C?
CobaltC – The Successor to C?
CobaltC ist eine statisch typisierte Systemprogrammiersprache, die explizite Ownership, deterministische Destruktion, compilergeprüftes Borrowing, inferierte Lifetimes, explizite Nullability, bounds-sichere Operationen, strukturierte Fehlerbehandlung und sichere Nebenläufigkeit bietet – ohne Garbage Collection. Die Spezifikation 1.0.0 definiert strenge Regeln für Ownership, Moves, Borrowing und Aliasing, um Speichersicherheit zu gewährleisten. CobaltC zielt auf Software ab, die vorhersagbares Ressourcenmanagement und starke Speichersicherheit erfordert, und bietet explizite unsichere Operationen für die Interaktion mit Low-Level-Schnittstellen.
Sichere CobaltC-Operationen dürfen durch bloße gewöhnliche Verwendung kein undefiniertes Verhalten einführen.
- ethin
Das ist offensichtlich von ChatGPT geschrieben, soweit ich das beurteilen kann. Nicht mal ein Versuch, es Korrektur zu lesen, es sei denn, ich habe etwas übersehen.
- pizlonator
Das scheint sich nicht wesentlich von Rust zu unterscheiden.
> keine Tracing-Garbage-Collection erfordert
Nenn es einfach Garbage Collection.
(Gilt in zweierlei Hinsicht: Wenn man annimmt, dass Garbage Collection Referenzzählung einschließt, dann erfordert diese Sprache keine Garbage Collection in dem Sinne, dass sie auch keine Referenzzählung erfordert; wenn man annimmt, dass Garbage Collection Referenzzählung nicht einschließt, dann gibt es keinen Grund, drei Wörter zu sagen, wenn man zwei sagen kann.)
- ronsor
Bevor ich das lese: Was ist an C3 [0], das du nicht magst?