A new model of declarative programming languages has emerged for building infrastructure as code, promising more simplicity and safety than imperative languages.