Agda doesn't need that restriction, as far as I know. And neither does Dhall. See https://dhall-lang.org/ Neither language is Turing complete. - Source: Hacker News / 4 months ago

Kubernetes config is a decent example. I had ChatGPT generate a representative silly example -- the content doesn't matter so much as the structure: https://gist.github.com/cstrahan/528b00cd5c3a22e3d8f057bb1a75ea61 Now consider 100s (if not 1000s) of such files. I haven't given Pkl an in depth look yet, but I can say that the Industry Standard™ of "simple YAML" + string substitution (with delicate, error prone... - Source: Hacker News / 4 months ago

Fail to see how this is any different than Dhall (https://dhall-lang.org/) other than it produces plists too. - Source: Hacker News / 4 months ago

Well, Dhall provides something between JSON and a Turing complete language that can make a lot of configuration much quicker to write, if you can hack the functional syntax. http://dhall-lang.org/. - Source: Hacker News / 4 months ago

What are your thoughts on: - https://dhall-lang.org/. - Source: Hacker News / 5 months ago

Kubernetes on the backend used to utilize docker for much of its container runtime solutions. One of the modular features of Kubernetes is the ability to utilize a Container Runtime Interface or CRI. The problem was that Docker didn't really meet the spec properly and they had to maintain a shim to translate properly. Instead users could utilize the popular containerd or cri-o runtimes. These follow the Open... - Source: dev.to / 4 months ago

Multiple container runtimes are supported, like conatinerd, cri-o, or other CRI compliant runtimes. - Source: dev.to / 6 months ago

Install container runtime on all nodes. We will use cri-o. - Source: dev.to / 6 months ago

Container Runtime Interface (CRI) is one of the important parts of the Kubernetes cluster. It is a plugin interface allowing kubelet to use different container runtimes. And recently CRI-O container runtime has been announced as a CNCF Graduated project. I thought of writing a blog on CRI-O and how to set up a single-node Kubernetes cluster with Kubeadm and CRI-O. - Source: dev.to / 11 months ago

CRI-O: This is an open-source container runtime designed for use with Kubernetes. It is a lightweight and stable environment for containers. It also complies with the Kubernetes Container Runtime Interface (CRI), making it easy to integrate with Kubernetes. - Source: dev.to / about 1 year ago