I'm a huge fanboy of CDK. I think its superior, and that its power has yet to be realized by the tech community at large. You can essentially create object oriented abstractions of common infrastructure patterns. You are correct, you need to be careful about how you build things, but it can be extremely productive. Cloudformation is a nightmare.