A configuration language that is also a statically typed, Turing-incomplete programming language with guaranteed termination.

You can use it to write refactorable configuration files.

Can’t be worse than YAML.