Чем отличаются Terraform, Pulumi, CDK и облачные шаблоны?

Terraform (и его форк OpenTofu) — декларативный язык HCL, работает с любым провайдером через плагины, самый распространённый и с самой богатой экосистемой модулей. Pulumi и AWS CDK позволяют описывать инфраструктуру на обычных языках (TypeScript, Python, Go): это даёт типизацию, циклы, переиспользование и тесты, но добавляет риск переусложнения — «программа, которая печатает инфраструктуру». CloudFormation, ARM, Deployment Manager — родные шаблоны провайдера: без внешних инструментов и с гарантированной поддержкой новинок, но привязаны к одному облаку. Выбор чаще определяется не техникой, а тем, что уже знает команда.