If you made all this work go away with a new functional programming language, like if finally someone contrived the perfect type system where you could just declaratively lay out all the rote bits and evaluate them to the imperative steps you wanted taken, everyone would be thrilled. There would be people going around dunking on all the developers who didn't use that language.
Instead, it's the opposite.