Semantics

Meaning and evaluation rules of Nix expressions.

Contents

• Laziness — Lazy evaluation behavior
• Evaluation Model — How values are computed
• Scoping and Shadowing — Name resolution
• Types and Coercion — Dynamic typing and coercions
• Purity Boundaries — Where impurity is allowed