Which information in particular is missing from the C type system in your opinion?
- the ownership of your object (who is in charge of free-ing it) and the lifetime of the pointers that targets this object. (the whole ownership system & the borrow-checker)
- is some data-structure thread-safe. (the Send and Sync traits)
With those, you can take any Rust code and play with it without having to ask existential questions. Your code will never segfault or exhibit a strange intermittent bug ones you add multi-threading.
Less important but still really convenient on a daily basis:
- will this function mutate the value I give it. (&mut pointers)
- has this variable already been consumed, which means I should not touch it anymore (affine type)
Having to bear the cognitive burden of making the lifetime explicit in all of the code is a steep price to pay for the benefit of securing the small subset of the code that is actually complex enough to potentially cause a problem. I wouldn't mind having such a feature be optional though, so that you'd enable it for the most precarious parts, something like a safe{} block rather than unsafe{}.
> will this function mutate the value I give it. (&mut pointers)
We already have const. Yes I agree it's better to enable by default.
It's obviously a learning curve burden but now that I use the language on a daily basis, it doesn't really slows me down. The thing is you don't often need to annotate the lifetimes by hand since the compiler elides the most common case. In practice, the time you need to do the annotation is often what you call «actually complex enough to potentially cause a problem».