Hi Benjamin,

My question is, roughly, is there already an existing framework for incremental evaluation in Haskell?

We at Utrecht have done some work on this: http://people.cs.uu.nl/andres/Incrementalization/

Simply put, if your computation is a fold/catamorphism, then you can easily take advantage of a generic framework for incremental evaluation.

We haven't actually turned this into a library, but if you're interested, we can discuss doing that.

Regards,
Sean