CobaltC – The Successor to C?
strawberry9.github.io6 points by SilentLambda an hour ago
6 points by SilentLambda an hour ago
Before I read this, what is there about C3 [0] you don't like?
This is certainly copying off Rust's homework...
reads more like a Wishlist rather than actual implementable specs.
every spec is implementable
some just delegate more or less to the implementation
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