There are a vast number of critiques regarding the model those ecosystems have used; it would be unwise to stick the label 'progress' on them until some of those core problems are resolved.
With regards to dependency versioning? I wasn't aware of that. I've been very happy with Cargo's handling of versioning so far, but maybe I've been lucky and haven't hit the pain spots.
That's rich considering Python is routinely criticized here for lack of proper dependency management until recently. Just because Racket is a cute Lisp/academic language does not mean it should be held to lower standards especially considering their recent efforts in relicensing and marketing to be regarded as a "serious" production language.
https://news.ycombinator.com/newsguidelines.html