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 ...

Programs traditionally consist of a series of statements describing how to solve a problem. Declarative programs instead describe what problem to solve and what a solution would look like. The program ...