[minhmeoke]

You might also be interested in the Dhall config language which has a great philosophy of preventing errors through correct design: https://docs.dhall-lang.org/discussions/Safety-guarantees.ht...

[verdverm]

I checked out Dhall back when I also found CUE. Definitely do not like it. The syntax is too different from existing configuration languages to see mass adoption. CUEs philosophy is much better outlined and reasoned, and comes from the same place as containers, kubernetes, and Go.

Another benefit of CUE over Dhall is that I can use CUE from Go. Very few people use Haskell, Go is an industry standard at this point