A high-level language for the cloud