3 ms·
Dhall does seem to have more integrations but I really like the amount of thought that has gone into Cue's types and operational semantics.
by kevindamm 2y ago
Dhall does seem to have more integrations but I really like the amount of thought that has gone into Cue's types and operational semantics.
- mananaysiempre 2y agoI agree. If only they wrote down the typechecking/evaluation semantics, even if it’s in the traditional form of a page’s worth of cryptic deduction rules.
- kevindamm 2y agoI think [1] is a good summary of the types and [2] to be a good explanation of their philosophy, but I had some experience with lattice theory and typed feature structure grammars which helped a lot. There are a couple of papers cited in [2] that would help a lot in providing background. Not quite a one-pager! Maybe it would make a good blog post... [1]: https://cuelang.org/docs/concept/the-logic-of-cue/ https://cuelang.org/docs/concept/the-logic-of-cue/ [2]: https://github.com/cue-lang/cue/blob/master/doc/ref/impl.md https://github.com/cue-lang/cue/blob/master/doc/ref/impl.md