Doesn’t every declarative tool require some new learned syntax? The Nix language is pretty damn good at configuration IMO. It is significantly less complex than python, for example.
If that is true, then I definitely don't want a declarative operating system to be my future. I'd rather have things designed simply and understandably than overcomplicate them in this way.