Thanks for the correction! > You don't need all values of your language to have lazy semantics Once upon a time (no longer, I think), Nix was 'maximally lazy'

Thanks for the correction! > You don't need all values of your language to have lazy semantics Once upon a time (no longer, I think), Nix was 'maximally lazy', so I think historically at least, there has been a question of how essential laziness is to the design of package managers in the functional paradigm. Since then I guess we've seen what you describe (some targeted laziness) is all that's required in both DSLs. I've edited my comment above to better reflect Guix's design and stop spreading the 'Guix is eager' meme. :)