The design of an experimental cloud resource provisioning language

As a cornerstone of cloud-native systems, Kubernetes uses YAML, a data description language, to configure resources. However, YAML does not meet the configuration requirements of complex scenarios and has three major problems. First, YAML has no type checking mechanism and therefore data type mismatches cannot be detected during compilation. Second, YAML does not have the ability to reuse data descriptions and there are duplicate code for largescale data. Third, YAML lacks a type merging algorithm that meets the needs of multi-team development in enterprises. This paper implements an experimental cloud resource provisioning language, Hermias, which is based on the functional programming language OCaml. Hermias is used to describe the resource configuration of cloud servers, which solves the above three problems in YAML. The novelty of this work is to propose a type merging algorithm that computes records with common labels by union types and subtyping.