A program describes how the cloud infrastructure should be composed. It can be written in Python, TypeScript or Go.