Internals

How Reactive works underneath. Using the framework needs none of this. The runtime is small and deliberately plain, so if you want to understand or extend it, everything is laid out here: the architecture, the data structures, how state keeps its identity, the update loop, and the annotated source itself.

These pages track the framework as it is actually built. Where a mechanism is designed but not yet implemented, it says so; this section doubles as the working design notes.

The shape of it

One idea holds it together

Everything a program does is a call on a single swappable object. Keep those calls pure and the meaning of the program is decided entirely by which interpreter is installed, so the same code can run, be checked, or be compiled. That one discipline is why the runtime stays small while the ceiling stays high; the architecture page starts there.