Well, a breakout game does *not* work (yet) in most other FRP implementations except Yampa, which do have firm theoretical foundations :-)<div><div><div><div><div><div><br><div class="gmail_quote">2009/4/15 Patai Gergely <span dir="ltr"><<a href="mailto:patai_gergely@fastmail.fm">patai_gergely@fastmail.fm</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im">> I don't think using dirty tricks to implement FRP deserves<br>
> flak, at all, from my POV, it sounds like complaining that the<br>
> IO monad is implemented using C... meaning that if you're that<br>
> close to bare thunks, you have every right to use any means<br>
> necessary to make them behave properly.<br>
</div>Dirtiness is not the problem, but the fact that it can leak out at the<br>
present moment. I want guarantees to exclude the possibility of<br>
undesired behaviour on the user side. Am I right thinking that the<br>
NOINLINE pragma on unsafeDupablePerformIO prevents the problem of<br>
multiple evaluation discussed yesterday? Or should I add NOINLINE to<br>
primitives in Elerea.Internal too? If that guaranteed sharing, it would<br>
certainly solve most of the problems we talked about. Apart from that,<br>
I'm still not sure that latching works the way intended all the time,<br>
but the fact that the breakout example works is an indication that at<br>
least it's not hopelessly broken.<br>
<br>
Gergely<br>
<font color="#888888"><br>
--<br>
<a href="http://www.fastmail.fm" target="_blank">http://www.fastmail.fm</a> - Access all of your messages and folders<br>
wherever you are<br>
</font><div><div></div><div class="h5"><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div></div></div></div></div></div>