cloud cloud-computing distributed-operating-systems distributed-systems domain-specific-language dynamic-type fly-language function-as-a-service programming-language scripting-language static-typing