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 / 5 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 / 5 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 / 5 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 / 5 months ago

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

What I went with was having both a web server (Apache/Nginx) and PHP-FPM in the same container image, held together by Supervisor: http://supervisord.org/ In my case, the Dockerfile looks a bit like the following:

  # Whatever base web server image you want, Debian/Ubuntu based here.

- Source: Hacker News / 10 months ago

As you can see there are several methods of running devpi server including cron, launchd (OSX service), nginx, Windows service, and supervisord. It also has a systemd service file which we can use to manage the service easily as Ubuntu uses it for primary service management. First off though we're going to need a proxy script to ensure that devpi is running in the virtual environment:. - Source: dev.to / 12 months ago

If it's a linux box you can make it a systemctl service, or you could use http://supervisord.org/. Source: about 1 year ago

I used supervisord to start my server and the cloud SQL proxy within the same container. That should work for your use case too. Source: about 1 year ago

I convinced (previous) $dayjob to use it. It (nix) kind of hung around in the background with the team that used haskell for awhile, but became prime time when we needed to support a range of VMs running within client infrastructure that were in reality just running various python scripts under supervisord (http://supervisord.org/). The range of client machines (redhat, centos, debian, ubuntu all of different... Source: about 1 year ago