i dont even think that it would be possible to build a declarative language that is flexible enough to do what an imperative language is capable of without being an imperative language itself
We need “a declarative language flexible enough to do what the product requires”