tatara-nix 0.2.185

Nix's academic essence, re-expressed in Rust + Lisp. Derivation, StorePath, Module, Overlay, Flake — all typed, all Lisp-authorable via #[derive(TataraDomain)], all attestable via BLAKE3.
docs.rs failed to build tatara-nix-0.2.185
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.

Nix's academic essence, re-expressed in Rust + Lisp.

Nix's innovation is a theory, not a language:

  1. Purely functional package management
  2. Content-addressed storage (hash of declared inputs → store path)
  3. Atomic upgrades + rollbacks
  4. Hermeticity (sandboxed builds)
  5. Laziness (evaluate only what's needed)
  6. Composable modules + overlays
  7. Hermetic flake inputs + outputs

Every one is a type discipline, not a language feature. Nix's DSL is one projection of these types; Lisp + Rust is another.

┌──────────────────────────────────────────────────────────────┐
│                    tatara-lisp (authoring)                   │
│   (defderivation hello …)    (defmodule observability …)     │
│   (defflake my-system …)     (defoverlay add-patches …)      │
└──────────────────────────────────────────────────────────────┘
                             ↓ compile_from_sexp (tatara-lisp-derive)
┌──────────────────────────────────────────────────────────────┐
│                   tatara-nix (typed IR)                      │
│   Derivation · StorePath · Module · Overlay · Flake           │
└──────────────────────────────────────────────────────────────┘
                             ↓ evaluate
┌──────────────────────────────────────────────────────────────┐
│                   sui (pure-Rust evaluator)                  │
│   lazy semantics · store · build sandbox · cache             │
└──────────────────────────────────────────────────────────────┘
                             ↓ attest
┌──────────────────────────────────────────────────────────────┐
│    tatara-core::ConvergenceAttestation (BLAKE3 Merkle)       │
└──────────────────────────────────────────────────────────────┘

The core types in this crate — Derivation, StorePath, Module, Overlay, Flake — all derive TataraDomain, so every one has a Lisp authoring surface for free. sui (separate crate) is the pure-Rust evaluator; tatara-nix is the typed IR it consumes.