6 points | by SilentLambda an hour ago
5 comments
Before I read this, what is there about C3 [0] you don't like?
[0] https://c3-lang.org
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
Before I read this, what is there about C3 [0] you don't like?
[0] https://c3-lang.org
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