6 points | by SilentLambda an hour ago
7 comments
Before I read this, what is there about C3 [0] you don't like?
[0] https://c3-lang.org
C3 is an embarrassing mess regarding integer types and sizes, missing C99's stdint.h defs, for example.
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
This is certainly copying off Rust's homework...
Who copied off Haskells homework, so here we are.
Before I read this, what is there about C3 [0] you don't like?
[0] https://c3-lang.org
C3 is an embarrassing mess regarding integer types and sizes, missing C99's stdint.h defs, for example.
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
This is certainly copying off Rust's homework...
Who copied off Haskells homework, so here we are.