This is news to me, I admit. But if this is true, then people shouldn't say Nix is declarative.
What makes it declarative is the lack of side effects and laziness.
Even NixOS itself doesn't do all that much actual programming in Nix, most of the code that does stuff is written in C++. The Nix language itself doesn't let you escape out of its sandbox.
This confusion is not good for Nix.