One computational tool I want to see is arbitrary materialized views over computation
In databases views are really powerful how we can build virtual tables that are based on joins and other data.
The value comes when we can update the underlying data from the view. This is what I want for computation. I'm not sure if differential dataflow can provide this.
> I'm not sure if differential dataflow can provide this.
Yes, it can, but you will have to write the views yourself, in Rust.
Materialize (https://materialize.com) exists, though, and compiles SQL to differential-dataflow programs, in order to provide exactly what you're asking for.
In databases views are really powerful how we can build virtual tables that are based on joins and other data.
The value comes when we can update the underlying data from the view. This is what I want for computation. I'm not sure if differential dataflow can provide this.