Comment by jimbokun
2 hours ago
Going in a completely different direction, Haskell could make a nice, powerful configuration language.
If it compiles, it’s almost certainly correct.
2 hours ago
Going in a completely different direction, Haskell could make a nice, powerful configuration language.
If it compiles, it’s almost certainly correct.
This idea exists (as in a functional language which is used for configuration), and it's called Dhall (https://dhall-lang.org/). But they made it a total language so that it has stronger guarantees of terminating and lots of other config specific stuff.