Has functions, static types, a tree sitter grammar, an lsp client, and lots of implementations. Seems to me to be the most mature of the many new programmable configuration languages.
Wonder ;) how hard it would be to bootstrap the language?..
I would think this is impossible, since this language is designed to be non-turing complete and forbids arbitrary side effects. You would always need a container language to make anything happen
Ok, not bootstrap in a sense of creating a sublanguage which allows to write the rest. I'm curious about how to write Dhall in C. Dhall doesn't look like a large language, right?