It's great to see AWS hopping on the "real code" bandwagon. I think we may have inspired them 🙂 CDK is actually a lot like Troposphere, in that it compiles code down to CloudFormation (
https://github.com/cloudtools/troposphere). We've been talking to this team about working together, but we also believe strongly in multi-cloud which, as you can guess, is a bit more contentious with them.
Definitely eager to hear your thoughts, though!