[chongli]

You should think of Rust as a better systems language, a better C.

I think C++ is a more apt comparison. C is such a barebones language. Yes, it's very unsafe and Rust goes a long way to fix those issues, but Rust brings a lot of other features along with it which dial the language complexity up to 11.

I would like to see a simple language that fixes C's biggest problems. I think that would be really interesting to work with. Nobody seems to want to do it though, or if they have, they haven't been able to get any attention.

[Retra]

One of C's big problems is that it doesn't provide many efficient abstractions, and fixing that problem will lead you to something which is not like C for the same reasons Rust is not like C.

[bacon_waffle]

I agree that Rust is more like C++, especially since C++11, than it is like C. Rust has type deduction, closures, iterators, and Traits (which behave a lot like C++ class methods).

> I would like to see a simple language that fixes C's biggest problems. I think that would be really interesting to work with. Nobody seems to want to do it though, or if they have, they haven't been able to get any attention.

Honest question from an embedded C developer who's learning Rust, but still very beginner:

Wouldn't using a subset of Rust provide the same thing you're asking for?

[pjmlp]

> Nobody seems to want to do it though, or if they have, they haven't been able to get any attention.

Cyclone, Safe C, Checked C, static analyzers deliver with the compiler, ...

The problem is on the receiving end, some devs won't change no matter what.

So far Android and Solaris (SPARC) seem to be the only platforms with memory validation compilation turned on.

[steveklabnik]

Have you seen Zig?

[chongli]

No. I'm checking it out now. Sounds pretty amazing!