FWIU, their path is not the right one for DevOps.
Dhall and Cue have the correct starting philosophy, i.e Turing incomplete