I guess the reason is that part of the benefits come from being a (largely) pure functional language. The property that an expression must always evaluate to th

I guess the reason is that part of the benefits come from being a (largely) pure functional language. The property that an expression must always evaluate to the same value does wonders to reproducibility. I agree that adoption would probably be larger if the language was not Nix or Scheme (Guix).