Hi Robin,<br><br>David Sankel &amp; I came up with withNextE at one point and didn&#39;t end up using it.&nbsp; I like the idea of experimenting with reverse causality.&nbsp; And yeah, I might want to remove it at some point.&nbsp; If you think of a use, please let us all know.<br>
<br>&nbsp; - Conal<br><br><div class="gmail_quote">On Fri, Nov 21, 2008 at 6:23 AM, Robin Green <span dir="ltr">&lt;<a href="mailto:greenrd@greenrd.org">greenrd@greenrd.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
withNextE seems to allow occurrences&#39; values to depend on occurrences<br>
which haven&#39;t yet occurred.<br>
<br>
Of course, it doesn&#39;t actually allow time travel. If the occurrence is<br>
not yet computed, presumably it will block until it does.<br>
<br>
Still, this is problematic theoretically. It allows &quot;simulations&quot;<br>
to be constructed which contain reverse causality (if the simulation<br>
makes all the input occurrences available immediately). Is this a case<br>
of making the framework a little too powerful?<br>
<font color="#888888"><br>
--<br>
Robin<br>
_______________________________________________<br>
Reactive mailing list<br>
<a href="mailto:Reactive@haskell.org">Reactive@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/reactive" target="_blank">http://www.haskell.org/mailman/listinfo/reactive</a><br>
</font></blockquote></div><br>