Hard truth

Posted Sep 17, 2025 9:41 UTC (Wed) by farnz (subscriber, #17727)
In reply to: Hard truth by NYKevin
Parent article: Comparing Rust to Carbon

There is a solution to that which has already been rejected, unfortunately, since it also acts as "add an annotation to make it possible to make a call to legacy code".

You'd have a special type of block that goes around items, that says that everything inside this block, including imported modules, can be used from safe code without an annotation at the point of use, even though it's not checked and safe. Because it covers everything inside the block, it covers everything brought in by a #include; because it's a special type of block with its own marker, it's possible to write tooling around the use of these blocks that requires review by senior developers.