Dhall Configuration Language VS devenv

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

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

Sounds like nix using devenv[1] also would solve this problem. https://devenv.sh/. - Source: Hacker News / about 5 hours ago

Software developers often want to customize: 1. Their home environments: for packages (some reach for brew on MacOS) and configurations (dotfiles, and some reach for stow). 2. Their development shells: for build dependencies (compilers, SDKs, libraries), tools (LSP, linters, formatters, debuggers), and services (runtime, database). Some reach for devcontainers here. 3. Or even their operating systems: for... - Source: Hacker News / 21 days ago

Https://devenv.sh/ and nix in general are great for setting up dev environments. - Source: Hacker News / about 1 month ago

2) A way to run services apps depend on (databases, job runners, cache etc). I am going to suggest one of the Nix based tools that do those things:

  - https://devenv.sh/ (I use this at work).

- Source: Hacker News / 3 months ago

Yup, I haven’t tried it but there is https://devenv.sh which is built on top of nix and makes it simple. - Source: Hacker News / 4 months ago