Yes, Linux has (partially) done this already, albeit with some user interface incongruities, check out nixos and guix

Hey NixOS and Guix communities! Your theory is awesome, your practice is great, we just need to work on making this trivial for children.

Always think of the children