"Many"? Compilation time sure. That's about it. Anyway things don't have to be pareto better to be better. A car is better than a horse, even though it can't travel over rough terrain as easily.
> It is better if you focus on a specific point (memory safety) and exaggerate its importance beyond all other considerations and ignoring all other options to make progress in this area. This is the zealotry part.
Memory safety is far from its only advantage over C. The fact that you think that is a strong signal you haven't ever seriously tried it.
> Also the supply chain risks in the Rust ecosystem are worrying.
What language is xz written in again?
> I also think that Rust is somewhat poorly designed in this regard compared to what is possible here
I disagree. Sure there are fancier type systems (Idris, Haskell, etc.), but they also have downsides. In any case we're comparing C and Rust. Rust is clearly way ahead of Rust. Your argument is "washing machines aren't better than hand washing because they don't also fold your clothes!"
The aspects where I think Rust is worse are: compilation time, high complexity, less stable, only one implementation, no international standard, no proper ABI.
xz was a highly sophisticated attack using social engineering and hiding malware in build artifacts, and it was found just in time. It has nothing to do with languages (it was not obfuscated C or something), but highlights that one has to carefully protect the supply chain. There were several compromised packages in cargo already, Rustup teaches people to do curl | sh.
Yes it is.
> In many aspect, it is worse.
"Many"? Compilation time sure. That's about it. Anyway things don't have to be pareto better to be better. A car is better than a horse, even though it can't travel over rough terrain as easily.
> It is better if you focus on a specific point (memory safety) and exaggerate its importance beyond all other considerations and ignoring all other options to make progress in this area. This is the zealotry part.
Memory safety is far from its only advantage over C. The fact that you think that is a strong signal you haven't ever seriously tried it.
> Also the supply chain risks in the Rust ecosystem are worrying.
What language is xz written in again?
> I also think that Rust is somewhat poorly designed in this regard compared to what is possible here
I disagree. Sure there are fancier type systems (Idris, Haskell, etc.), but they also have downsides. In any case we're comparing C and Rust. Rust is clearly way ahead of Rust. Your argument is "washing machines aren't better than hand washing because they don't also fold your clothes!"