Reactive Nix: Enabling Functional Reactive Configuration with mgmt
Nix lets us define entire systems as pure functions - deterministic, reproducible, and immutable.
Once evaluated, though, these functions produce fixed values: snapshots in time of the desired state.
Functional Reactive Programming (FRP), as implemented in mgmt, extends this model.
In FRP, instead of yielding a fixed value, functions can return a dynamic signal: a value that evolves over time, responding to other changes in the system.
Reactive Nix explores how these two paradigms meet:
What if Nix's purely functional configurations could describe continuous systems - systems which stay declarative but react automatically as their dependencies change?