A system and method for providing and executing a domain-specific programming language for cloud services infrastructure is provided. The system may be used to integrate references to external entities, such as cloud service compute instances, directly into a domain-specific programming language, allowing developers to easily integrate cloud services directly using the domain-specific programming language. A compiler stored within a cloud operating system can include one or more validations that can check instantiations of types within the domain-specific language for compliance with one or more policies set by a system administrator of a computing enterprise.