그러니깐 AWS CDK가 먼저 JS로 만드는 방식이었나 보네요? Boto같은거 보면 파이썬부터 지원하는줄 알았네요.