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."
pizlonator 1 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.)
drgo 2 hours ago [-]
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 1 hours ago [-]
And cloudflare still somehow shipped a rust binary that crashed half the internet.
katdork 22 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 28 minutes ago [-]
Another one?
Rendered at 05:02:04 GMT+0000 (Coordinated Universal Time) with Vercel.
[0] https://c3-lang.org
> 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.)
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