cuelang.org looks super interesting:

"CUE is a data validation language and inference engine with its roots in logic programming. A key thing that sets CUE apart from its peer languages is that it merges types and values into a single concept."

(via @ajbouh)