3 ms·
Carbon is not a subset of C++, it will have a memory safe subset of itself, like Rust does. That said, Carbon’s definition of memory safety does not include da
by steveklabnik 3y ago
Carbon is not a subset of C++, it will have a memory safe subset of itself, like Rust does.
That said, Carbon’s definition of memory safety does not include data race safety, and so will not have a borrow checker.
- Vt71fcAqt7 3y agoUnless something has chnaged since this talk[0][1], I don't think that is accurate. >Best candidate for C++ is likely similar to Rust’s borrow checker It is stated clearly in the talk that this is true for Carbon as well [0] https://chandlerc.blog/slides/2023-cppnow-carbon-strategy/index.html#/105 https://chandlerc.blog/slides/2023-cppnow-carbon-strategy/in... [1] relevant timestamps: https://youtube.com/watch?v=1ZTJ9omXOQ0&t=1h31m34s https://youtube.com/watch?v=1ZTJ9omXOQ0&t=1h31m34s https://youtube.com/watch?v=1ZTJ9omXOQ0&t=1h9m49s https://youtube.com/watch?v=1ZTJ9omXOQ0&t=1h9m49s
- steveklabnik 3y agoHmm, this was exactly the talk where I got this information from! I thought that he specifically said that since the idioms were too different, it wouldn't be possible. I will have to re-watch it, thank you.