4 ms·

Does anyone know enough to compare Cue and https://dhall-lang.org/ https://dhall-lang.org/ ? For example: Is using them together even a sensical idea?

• verdverm 5y ago
  The biggest difference is probably CUE is Turing Incomplete, which means no programming or functions. CUE is logical and proves that what you have written is valid and correct. CUE is a superset of JSON, so all JSON is valid CUE. The other main thing is the value lattice where everything from abstract types to concrete data lives. I haven't actually used Dhall, the syntax rubs me the wrong way or something.
  • alserio 5y ago
    Dhall is explicitly not Turing complete, afaik
    • verdverm 5y ago
      You are right, I did a bit of reading. It's more restricted than CUE in some cases, like defining infinite structures is possible in CUE.