I spent a lot of time with CDK last year using Typescript. Very impressed with it and I have zero regrets after moving over our app's infrastructure to being deployed with it after 9 months in production.
I felt like being forced to use typed IaC helped me understand AWS API's and services themselves better.