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 / 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 / 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

Yew is a framework for creating reliable and efficient web applications. Yew. - Source: dev.to / about 2 months ago

I coded up a game of life implementation in rust and web assembly using https://yew.rs/ as an effort to sharpen my rust skills and it resulted as a fun toy. You can find the source here: https://gitlab.com/reedrichards/wvdom Enjoy! - Source: Hacker News / 6 months ago

I'm surprised nobody said they'd use [Yew](https://yew.rs/), especially given the premise of this being for a passion project. - Source: Hacker News / 8 months ago

1. Not related to npm, but related to the web. 2. True, but compilers are generally better than transpilers. 3. Have you seen https://yew.rs/ ? - Source: Hacker News / 9 months ago