>>105883357I believe C++ would benefit a lot from a profile for "modern" C++. And pattern matching, of course. C++ is, as everyone acknowledges, a large language, and such a profile might help with handling that size, since modern C++ has a lot of useful features relative to older styles. A profile should enable people to opt-in and refactor at their own pace.
Memory safety checks, whether at compile-time or runtime, are interesting, but they are not generally free in many different regards, both in the different experiments and proposals for C++, and also in Rust. Also in terms of ensuring correctness of code.
Zig, I am not sure about, I know very little about it. It has not reached 1.0 yet, and it does not have backwards compatibility yet. Its approach to compile-time execution is both praised and criticized. For instance, this Rust article criticizes Zig https://poignardazur.github.io/2025/07/09/variadic-generics-dead-ends/ . But the language is definitely interesting, it is ahead in terms of compile-time execution of both C++ and Rust.
Carbon encourages Rust, and I don't know if they have a public compiler prototype yet that can compile code.
I don't know much about UWS.js.