|
|
|
|
|
by datadeft
881 days ago
|
|
> You have complex enough logic to warrant a language, you should use a real language. Not sure what you mean. Dhall is a real language: Dhall is not a Turing-complete programming language,
which is why Dhall’s type system can provide safety
guarantees on par with non-programmable configuration
file formats. Specifically, Dhall is a “total”
functional programming language, which means that:
You can always type-check an expression in a finite
amount of time
If an expression type-checks then evaluating that
expression always succeeds in a finite amount of time
|
|