For those interested in incremental systems, I recommend checking out DBSP. I thought it was pretty neat.