Re: [Haskell-cafe] Question: Lazy Incremental Evaluation and Haskell?

From: Peter Gammie Oct 6. 2011 6:58 PM

Ben,

On 07/10/2011, at 8:55 AM, Benjamin Redelings I wrote:

...

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

Margnus Carlsson did something monadic several years ago.

http://dl.acm.org/citation.cfm?doid=581478.581482

Perhaps there is an implementation on Hackage or on his website.

This stuff also goes by the moniker "adaptive computation". See the references and citations of that paper for more on this.

Umut Acar now seems to refer to this as "self-adjusting computation", and has some work here: http://umut.mpi-sws.org/self-adjusting-computation In particular, there seems to be a modified version of Mlton. Brandon