A new model of declarative programming languages has emerged for building infrastructure as code, promising more simplicity and safety than imperative languages. In the last dozen years or so, we’ve ...