I get the sense that you think this approach is inferior, but package managers based on version constraint solvers can't begin to approach the level of automati

I get the sense that you think this approach is inferior, but package managers based on version constraint solvers can't begin to approach the level of automation and reproducibility that exists in functional package managers. Lots of interesting stuff is not done by hand but through transformation with functions.