This is so obviously written by ChatGPT from what I can tell. Not even an attempt to copyedit it unless I missed something.
thinkafter 1 hours ago [-]
I’m not sure about copy but the UI seems designed to look like an AI response which is certainly a choice
hyperhello 54 minutes ago [-]
[flagged]
pizlonator 2 hours ago [-]
This doesnt seems to be meaningfully different from Rust.
> does not require tracing garbage collection
Just call it garbage collection.
(Applies in two ways: if you think that garbage collection subsumes reference counting then this language doesn’t require garbage collection in the sense that it also doesn’t require reference counting; if you think that garbage collection does not subsume reference counting then there’s no point in saying three words when you can say two.)
ronsor 2 hours ago [-]
Before I read this, what is there about C3 [0] you don't like?
It's great to have it all spec'd out. However, I think specs like this suffer the same fate as war plans: they get modified quickly as soon as implementation begins. Nonetheless, it's good to have a clear idea of where you're headed. I just wouldn't call it "Final."
reads more like a Wishlist rather than actual implementable specs.
nextaccountic 2 hours ago [-]
every spec is implementable
some just delegate more or less to the implementation
nextaccountic 2 hours ago [-]
that said, the borrowing part is incredibly short on details
i read trying to assess if it's more or less expressible than rust's current nll or the future polonius and honestly there's nothing there
yoklov 2 hours ago [-]
This is certainly copying off Rust's homework...
Fordec 2 hours ago [-]
Who copied off Haskells homework, so here we are.
irishcoffee 2 hours ago [-]
And cloudflare still somehow shipped a rust binary that crashed half the internet.
katdork 42 minutes ago [-]
and I've had Haskell binaries attempt to use infinite quantities of RAM (looking at an old version of dconf2nix here) and thus crash
woodruffw 48 minutes ago [-]
Another one?
SilentLambda 7 minutes ago [-]
Yes, but remember is the last appendix to a book, and book provides the context for this appendix. So yes, in that sense, it's just another one attempting to address the memory-safety issues of C. At least this one uses C like syntax and doesn't require C programmers to learn some alien syntax. Of course, this is just a spec, Rust is well and truly live in the environment. The book is more interesting than the spec.
Gualdrapo 7 minutes ago [-]
Odin's turn to be "the sucessor of C" is due this month
Rendered at 05:21:38 GMT+0000 (Coordinated Universal Time) with Vercel.
> does not require tracing garbage collection
Just call it garbage collection.
(Applies in two ways: if you think that garbage collection subsumes reference counting then this language doesn’t require garbage collection in the sense that it also doesn’t require reference counting; if you think that garbage collection does not subsume reference counting then there’s no point in saying three words when you can say two.)
[0] https://c3-lang.org
some just delegate more or less to the implementation
i read trying to assess if it's more or less expressible than rust's current nll or the future polonius and honestly there's nothing there