I agree with you there, but those of you already reading this, here's what it means (what I think it means anyway ;-): Dhall is like a templating language, but

I agree with you there, but those of you already reading this, here's what it means (what I think it means anyway ;-): Dhall is like a templating language, but statically typed and will always terminate. Typing is good because your configuration will always have correct structure -- the language itself allows you to verify this; and non-determination is good because you don't have to worry about your program accidentally not terminating. JSON, YAML, .ini, etc etc are non-programmable configuration languages, and, I guess, m4 would be an example of a Touring complete one.