Jq (programming language) explained

jq
Logo Caption:The official jq logo
Logo Alt:The characters "./jq" in black, monospace font
Paradigms:Purely functional programming, JSON-oriented processing, tacit programming
Designer:Stephen Dolan
Programming Language:jq: C
gojq: Go
jaq: Rust
jqjq: jq
Platform:Cross-platform
Operating System:Cross-platform
License:MIT

jq is a very high-level lexically scoped functional programming language in which every JSON value is a constant. jq supports backtracking and managing indefinitely long streams of JSON data. It is related to the Icon and Haskell programming languages. The language supports a namespace-based module system and has some support for closures. In particular, functions and functional expressions can be used as parameters of other functions.

The original implementation of jq was in Haskell[1] before being immediately ported to C.

History

jq was created by Stephen Dolan, and released in October 2012.[2] It was described as being "like sed for JSON data".[3] Support for regular expressions was added in jq version 1.5.

A "wrapper" program for jq named yq adds support for YAML, XML and TOML. It was first released in 2017.[4]

The Go implementation, gojq, was initially released in 2019.[5] gojq notably extends jq to include support for YAML.

The Rust implementation, jaq, has as its project goals a faster and more correct implementation of jq, while preserving compatibility with jq in most cases. Explicitly excluded from the project goals as of March 2024 are certain advanced features of jq such as modules, SQL-style operators, and a streaming parser for very large JSON documents.[6]

The jq implementation, jqjq, was initially released in 2022. jqjq notably can run itself, has a REPL and supports eval.

Usage

Command-line usage

jq is typically used at the command line and can be used with other command-line utilities, such as curl. Here is an example showing how the output of a command can be piped to a jq filter to determine the category names associated with this Wikipedia page:

$ curl 'https://en.wikipedia.org/w/api.php?action=parse&page=jq_(programming_language)&format=json' | jq '.parse.categories[]."*"'The output produced by this pipeline consists of a stream of JSON strings, the first few of which are:"Articles_with_short_description""Short_description_matches_Wikidata""Dynamically_typed_programming_languages""Functional_languages""Programming_languages""Programming_languages_created_in_2012""Query_languages""2012_software"

The command above uses the MediaWiki API for this page to produce a JSON response. The pipe allows the output of to be accessed by jq, a standard Unix shell mechanism.[7]

The jq filter shown is an abbreviation for the jq pipeline:.["parse"] | .["categories"] | .[] | .["*"]This corresponds to the nested JSON structure produced by the call to . Notice that the jq pipeline is constructed in the same manner using the character as the Unix-style pipeline.

Embedded usage

Both the C and the Go implementations provide libraries so that jq functionality can be embedded in other applications and programming environments.

For example, gojq has been integrated with SQLite so that a function is available in SQL statements.[8] This function is marked as"deterministic" andcan therefore be used in "CREATE INDEX" commands.[9]

Modes of operation

jq by default acts as a "stream editor" for JSON inputs, muchlike the sed utility can be thought of as a "stream editor" for lines of text.However jq has several other modes of operation:

  1. it can treat its input from one or more sources as lines of text;
  2. it can gather a stream of inputs from a specified source into a JSON array;
  3. it can parse its JSON inputs using a so-called "streaming parser" that produces a stream of [path, value] arrays for all "leaf" paths.

The "streaming parser" is particularly useful when one of more of theJSON inputs is too large to fit into memory, since its memory requirementsare typically quite small. For example, for an arbitrarily large array of JSON objects,the peak memory requirement is not much more than required to handle the largesttop-level object.

These modes of operation can, within certain limitations, be combined.

Syntax and semantics

Types

Every JSON value is itself a value in jq, which accordingly has the types shown in the table below.[10] The gojq and jaq implementations distinguish between integers and non-integer numbers. The gojq implementation supports unbounded-precision integer arithmetic, as did the original implementation of jq in Haskell.

Summary of jq's supported types!Type!Examples
"number"
"string"
"boolean"
"array"
"object"
"null"

is a value, just like any other JSON scalar; it is not a pointer or a "null-pointer". (corresponding to NaN) and (see IEEE 754) are the only two jq scalars that are not also JSON values.

Forms

There are special syntactic forms for function creation, conditionals, stream reduction, and the module system.

Filters

Here is an example which shows how to define a named, parameterized filter for formatting an integer in any basefrom 2 to 36 inclusive.The implementation illustrates tacit (or point-free) programming:

  1. Use gojq for infinite precision integer arithmetic

def tobase($b): def digit: "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ"[.:.+1]; def mod: . % $b; def div: ((. - mod) / $b); def digits: recurse(select(. >= $b) | div) | mod ;

select(2 <= $b and $b <= 36) | [digits | digit] | reverse | add;

The next example demonstrates the use of generators in the classic "SEND MORE MONEY" verbal arithmetic game:

def send_more_money: def choose(m;n;used): ([range(m;n+1)] - used)[]; def num(a;b;c;d): 1000*a + 100*b + 10*c + d; def num(a;b;c;d;e): 10*num(a;b;c;d) + e; first(1 as $m | 0 as $o | choose(8;9;[]) as $s | choose(2;9;[$s]) as $e | choose(2;9;[$s,$e]) as $n | choose(2;9;[$s,$e,$n]) as $d | choose(2;9;[$s,$e,$n,$d]) as $r | choose(2;9;[$s,$e,$n,$d,$r]) as $y | select(num($s;$e;$n;$d) + num($m;$o;$r;$e)

Parsing expression grammars

There is a very close relationship between jq and the parsing expression grammar (PEG) formalism.[11] The relationship stems from the equivalence of the seven basic PEG operations and the jq constructs shown in the following table.

Correspondence between PEG operations and jq equivalents! PEG operation name! PEG notation! jq operation or def
Sequence e1 &#124; e2
Ordered choice
Zero-or-moredef star(E): (E &#124; star(E)) // . ;
One-or-moredef plus(E): E &#124; (plus(E) // .);
Optional
And-predicatedef amp(E): . as $in &#124; E &#124; $in;
Not-predicate

Ports and variants

gojq is a "pure Go" implementation. There is also a Rust implementation of a dialect of jq named jaq[6] for which a denotational semantics has been specified.[12]

References

Bibliography

Others

External links

Notes and References

  1. https://github.com/jqlang/jq/commit/eca89acee00faf6e9ef55d84780e6eeddf225e5c
  2. Web site: jq . jq . January 6, 2023.
  3. Web site: like sed. https://web.archive.org/web/20130414054332/http://stedolan.github.io/jq . 2013-04-14 .
  4. Web site: Release v2.0.0 · kislyuk/yq . .
  5. Web site: Release v0.0.1 · itchyny/gojq . .
  6. Web site: 01mf02/jaq: A jq clone focussed on correctness, speed, and simplicity . . March 6, 2024.
  7. Web site: Tutorial . jq . January 6, 2023.
  8. Web site: sqlite_jq . .
  9. Web site: FAQ . .
  10. Web site: Manual . jq . January 6, 2023.
  11. Web site: PEG . PEG .
  12. Denotational Semantics and a fast interpreter for jq . Färber . Michael. 2023 . cs.LO . 2302.10576 .