Dhall Configuration Language VS Hacker News Search

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

You've been ranting about this for 9 years now. https://news.ycombinator.com/item?id=10149015 > bitwize on Jan 9, 2016 > Since X is now deprecated tech Maybe give it a rest and let others have their toys without flying off the handle with comments that say or contribute nothing every time people mention their toys. And tons more:... - Source: Hacker News / 1 day ago

It looks like you've been using HN to repeatedly promote your links: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&query=https%3A%2F%2Fflexboxcss.com&sort=byDate&type=comment https://hn.algolia.com/?dateRange=all&page=0&prefix=true&query=https%3A%2F%2Ftabletopy.com&sort=byDate&type=comment https://hn.algolia.com/?dateRange=all&page=0&prefix=true&query=sharkle.com&sort=byDate&type=comment. - Source: Hacker News / 1 day ago

If you see a post that ought to have been moderated but hasn't been, the likeliest explanation is that we didn't see it. You can help by flagging it or emailing us at hn@ycombinator.com. https://hn.algolia.com/?dateRange=all&page=0&prefix=false&query=likeliest%20explanation%20by%3Adang&sort=byDate&type=comment. - Source: Hacker News / 4 days ago

Ok, but please don't post unsubstantive comments to Hacker News. I understand the reason for repeating these sentiments—it's the same reason why they get upvoted to the top of threads*—but repetition of this kind is what we're most trying to avoid here. https://hn.algolia.com/?dateRange=all&page=0&prefix=false&sort=byDate&type=comment&query=curiosity%20repetition%20by:dang - Source: Hacker News / 4 days ago

I was looking for it in the guidelines. There are a couple of conventions for postings. Consider a bit of prior examples: [https://hn.algolia.com/?q=show+hn]. - Source: Hacker News / 4 days ago