If YAML is the assembly language of k8s, Dhall looks like what you would write the compiler in.
If YAML is the assembly language of k8s, Dhall looks like what you would write the compiler in.
I like your analogy though. For us, the assembly language is using the k8s API directly in Golang. The “compiler” is the golang Starlark interpreter extended with our own config API, like you would implement in Dhall. It’s just in this case, you can implement it in Golang, which has much much better tooling than Dhall does. A typed compiler, debugger, IDE, unit tests.... so much easier to develop and maintain.
DRY configs make me very happy.
I don't see how they could support something in parallel to Dhall, and still enable all the features Dhall provides.
I don't think OP meant Kubernetes is changing to Dhall, but that we'll see something like Dhall on top of Kubernetes YAML/JSON that catches on.