Nix (language)

The pure, lazy, functional expression language the package manager evaluates. Everything in the Nix world — a package, a dev shell, an entire OS configuration — is a Nix expression evaluating to a derivation (or an attrset of them).

The shape of it

• Attrsets are the universe: { rust.enable = true; } is the config idiom (config.rust.enable).
• Lazy evaluation: let ... in bindings evaluate only when forced — you can define the world and touch one path.
• No statements, only expressions; no loops as syntax (recursion + lib.foldl', map, filter from lib).
• Dynamic typing with a small value domain: strings (with interpolation "${x}"), ints, paths, lists, attrsets, functions (x: y: ..., curried by nature), null, booleans, derivations.
• import is just function application on files; nixpkgs is a giant function (pkgs = import <nixpkgs> {} — call it with args, get 100k packages).
• No namespaces/modules in the language — module systems (NixOS options, flake outputs) are conventions built in the language itself (the module system is a lib, not syntax).

Why it’s infamous

• Errors surface at force-time, far from their cause (“value is a function while a set was expected”, line number pointing into nixpkgs).
• Untyped + lazy + stringly-typed bits (options vs raw attrsets) = refactoring blind.
• Idioms accreted: callPackage, overlays, lib.mkIf/mkMerge — a second language of conventions on top.

The agent-era twist (why it’s suddenly hot)

ghuntley’s Nix post (captured): Nix-as-declarative-config is highly LLM-legible — one file, total system state, machine-checkable (nix flake check, nix build = the eval), instant rollback when the agent errs. Its density (see Dipping my toes into clojure for the same argument in Lisp) plus executable verification makes it prime agent territory: the LLM writes the expression, Nix proves it. Kin: Code Mode’s “let the model write code against the world.”

Vault kin

• Nix - package manager — what interprets it
• NixOS — its largest program
• Infrastructure as Code — declarative-config family