[Haskell-cafe] Question: Lazy Incremental Evaluation and Haskell?
jmaessen at alum.mit.edu
Sat Oct 8 18:46:33 CEST 2011
On Fri, Oct 7, 2011 at 2:46 PM, Brandon Moore <brandon_m_moore at yahoo.com> wrote:
>> Margnus Carlsson did something monadic several years ago.
>> 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:
> In particular, there seems to be a modified version of Mlton.
To tie things together a bit, Magnus Carlsson's paper was based on
Umut Acar's earlier work. Note in particular that there's a lot of
emphasis placed on efficiently figuring out what computation needs to
be re-done (and some theory to support those efficiency claims). FRP
frameworks, etc. naively re-do rather too much computation (all of it,
in particularly poor cases) compared to systems specifically tailored
More information about the Haskell-Cafe