>>37
Sorry, I didn't mean to say anything negative about rust, and I'm excited about it. I guess the first responses where about the lack of global type inference. But honestly it's a lot of work and it's debatable if that is even a good feature to have in a language.
However, I think I read something by one of the devs saying that allocations in the the core library are effectively considered bugs.
I wish I worked there.
Not without changes to the memory model
It's possible if a large set of hard optimizations are used to determine the relative life times of objects. Ideally, they should all function with no hints provided in the language. In order for to optimizations to really be effective, the life time calculation would need to be aware of the entire program at once. It might be possible to make this scale, but it would be hard. I don't know of any projects going for something like this (other than rust), but if it could exist without hints it could be applied to all high level garbage collected languages.
>>38
<-