This is the killer use case, and the initial primary(?) design justification.

https://nixos.org/guides/how-nix-works.html

https://edolstra.github.io/pubs/nixos-icfp2008-final.pdf