That "it's too immature" is a great, dismissal line given it's incredibly important for choosing a language to write a safe/secure kernel in. My choice against it as main language would be due to lack of assurance technology made for it. With C subset and/or SPARK Ada, I have a pile of tech from formal specifications to static analysis to test generators to assembly certifiers. Add powerful IDE's & ecosystem to it. Then, even if people don't want that, there's regular compilers for what I produce on countless platforms for increased usage opportunities and extra security through hardware diversity/obfuscation. Rust doesn't give me all this. Not just "immature:" nobody working on most of it at all or with enough effort I know it will be there in 1-3 years when I need it.

That said, I love and encourage your work on Redox plus these other Rust-based kernels. There's no reason to gripe about them that I see. The posts are good for learning like most kernel dev w/ extra language & safety content on the side. You Redox devs in particular are really rolling on it being safe & practically usable. There's just that the gap between what's achievable on high end with Rust and C/SPARK is the size of the grand canyon. Many PhD's worth of work.

I don't necessarily disagree with you, just with the way you present your point.

237 reasons

https://www.reddit.com/r/cpp/comments/611811/have_you_used_r...

How about "it's too immature to properly criticize"?

;-)

What are your criteria for maturity? I tend to agree that Rust has a ways to go before it's capable of calling itself a world-class implementation, but lots of those aspects (e.g. IDE support) are on this year's roadmap and seeing active development.

Here's a good one in which Rust isn't yet mature enough in this space: this still requires nightly.

My comment was not entirely sincere; I'm very optimistic about rust's future.

The grain of truth is that, if you grant that rust is immature, then it's unfair to say that's the only criticism because a lot of problems can be hidden behind immaturity.