Both nix and guix seem to have potential. Not sure if they are the "silver-bullet" (in the good sense of actually nailing a hard problem well) but perhaps. IMO they are a bit too (local) package oriented than necessary.