Nix Expression Language
This pedia article covers the syntax, semantics, typing, compilation, tooling and libraries of the Nix Expression Language. The Nix expression language is a pure, lazy, functional language. Purity means that operations in the language don't have side-effects (for instance, there is no variable assignment).
https://nixos.wiki/wiki/Nix_Expression_Language