Seeing types where others don't: static type inference for jq

1 comments

• verdverm 10 hours ago

  CUE is how I do this now, and much more. The following is the best introduction to the philosophy

  https://cuelang.org/docs/concept/the-logic-of-cue/