mtm VS Dhall Configuration Language

You can try looking at projects like mtm to get an idea of what is needed. Source: about 2 years ago

Besides tmux you can also try * mtm: https://github.com/deadpixi/mtm. - Source: Hacker News / about 3 years ago

I have been using tmux for a while, and to be frank it is not that great. I constantly have issues with the copy and paste modes, it always spawns a session handler which I often don't want, it is all around pain in the ass. I tried using dvtm for a while, but in the terminal, I tend to prefer a more free flow and manual pane management-style. Doing some research I found a multiplexor called mtm which seems to be... Source: about 3 years ago

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