[reactive] "Time travel" with withNextE

[Conal Elliott]

Hi Robin,

David Sankel & I came up with withNextE at one point and didn't end up using
it.  I like the idea of experimenting with reverse causality.  And yeah, I
might want to remove it at some point.  If you think of a use, please let us
all know.

  - Conal

On Fri, Nov 21, 2008 at 6:23 AM, Robin Green <greenrd at greenrd.org> wrote:

> withNextE seems to allow occurrences' values to depend on occurrences
> which haven't yet occurred.
>
> Of course, it doesn't actually allow time travel. If the occurrence is
> not yet computed, presumably it will block until it does.
>
> Still, this is problematic theoretically. It allows "simulations"
> to be constructed which contain reverse causality (if the simulation
> makes all the input occurrences available immediately). Is this a case
> of making the framework a little too powerful?
>
> --
> Robin
> _______________________________________________
> Reactive mailing list
> Reactive at haskell.org
> http://www.haskell.org/mailman/listinfo/reactive
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/reactive/attachments/20081121/7924de35/attachment-0001.htm