One common topic when promoting Pulumi is the declarative vs imperative debate. Many people seem to prefer declarative in infrastructure because of the maintainability aspect. My understanding is Pulumi is also declarative, but the more dynamic nature of real programming languages seems to scare a bit some Terraform users. What are some of the techniques people here use to have more predictability in the infrastructure they are building? I was thinking about using Starlark + Mypy instead of normal Python for example. I would love to hear other thoughts.