unclear if this is something people have already seen but this paper from a now-defunct MSR lab in 2012 describes monadic incremental computation with execution traces and has a high-quality implementation in rust (the repo containing this pdf) and shouts out twitter specifically many times as an example application https://github.com/frankmcsherry/differential-dataflow/blob/master/differentialdataflow.pdf