I would on the contrary say that adding extra static checking deducts from the _actual_ complexity of the domain and its application.
I would on the contrary say that adding extra static checking deducts from the _actual_ complexity of the domain and its application.
It also seems obvious that the problematic aspect of getting anything done in Rust is fully compensated by having a lot of libraries available quickly via Cargo, so people are essentially just assembling things at a high-level. And in principle, I think this is a very good thing, but in the way this is implemented it comes with severe supply chain risks.
But in this context I feel that partial solutions are offered as alternatives to more complete ones. I.e.: if holes in your trousers is of no concern, then having tools to avoid that is of no value.
Not picking on C here, as already mentioned, it is a wonderful language.