This article is getting hella flamed on the red site when I legitimately had conflated NixOS build reproducibility with NixOS being declarative.
Why people are denying this as a widespread thing and bringing functional programming into the mix (?) I have no clue.