I don't see it that way. CDKs, Terraform, Pulumi all have their use cases and trade offs. I use a mix of them.

The imperative trite just comes off as geriatric. There are better arguments you can use here which you have shared below. One of which I agree with.

> but their constrained nature makes it easier to reign in the zealous junior developer who just discovered OOP and insists on trying it everywhere...

I don't think this is true anymore. Junior devs of today seem to be black pilled on OOP.

I too really want algebraic effects but the majority are panicans and exceptionauts. PL's will always cater to majority. We still don't have proper tail calls because the luddites want stack metaphors. Javanese & Gophers can't conceive of a world of pattern matching, sum types, and null/nil-safe code. Now we have machines writing code for us. It's over.