Dhall: a programmable configuration language that is not Turing-complete
Maybe I&#x27;m just not the target audience, but I found this intriguing yet confusing. It might benefit from an explanation of typical use cases -- what do people do now that Dhall would be a better tool for?<p>I read the tagline: &quot;Dhall is a programmable configuration language that is not Turing-complete,&quot; so I figured &quot;programmable configuration language&quot; was a term I just wasn&#x27;t familiar with, and it might bring up some typical use cases if I searched for it -- but it seems like that term was invented for Dhall.<p>So maybe the kind of example I&#x27;m looking for is: if you&#x27;re now using a non-programmable configuration language, here&#x27;s what that would look like, and here&#x27;s the improvement if you switch to Dhall. Or if you&#x27;re now using a programmable configuration language that is Turing complete, here&#x27;s what that would look like, and here&#x27;s the improvement if you switch to Dhall.<p>(A more specific question: in what kind of scenarios is JSON+arbitrary terminating functions useful?)