Differential Dataflow
1.
Motivation
1.1.
Getting started
1.2.
Step 1: Write a program
1.3.
Step 2: Change its input
2.
Increase all the things
2.1.
Increase the scale
2.2.
Increase the parallelism
2.3.
Increase the interactivity
3.
Differential Operators
3.1.
Map
3.2.
Filter
3.3.
Concat
3.4.
Consolidate
3.5.
Join
3.6.
Reduce
3.7.
Iterate
3.8.
Arrange
4.
Differential Interactions
4.1.
Creating inputs
4.2.
Making changes
4.3.
Advancing time
4.4.
Observing probes
4.5.
Performing work
5.
Example Applications
5.1.
Graph Computation
5.2.
Interactive Queries
5.3.
Real-time Streaming Input
6.
Arrangements
6.1.
An arrangement example
6.2.
Different arrangements
6.3.
Sharing across dataflows
6.4.
Trace wrappers
7.
Windows Enough and Time
Light (default)
Rust
Coal
Navy
Ayu
Windows Enough and Time