So I think if we change the major “bullet points” to follow the maintainability theme, here are some initial ideas I had while brainstorming:
Don’t repeat yourself
Struggling with configuration drift? Keep your infrastructure in sync by creating a single source of truth that you can reference everywhere.
Highlight the following features: functions, imports, and multiple integrations
Need to clean up a big mess? Dhall provides built-in support for static types and change control so that you can move fast without breaking things.
Highlight the following features: types,
dhall hash (to verify that a change was behavior-preserving),
dhall diff (to verify that an intentional change had the expected effect)
Sick of Turing-complete configuration languages? Dhall is a total functional programming language that forbids arbitrary side effects, so the language can never fail, hang, crash, leak secrets, or compromise your system.
Highlight here: non-Turing-complete, semantic integrity checks, pre-normalization, CORS, XSS protection, same origin policy