I was pleased? surprised? shocked? when Harmen stated that Spack, like Guix, is an implementation of the functional model Eelco Dolstra devised in his PhD thesis. (I’d say it’s more of a hybrid.)