Aha! Wolfgang is a man who knows his own code :)<div><div><br></div><div>Yes, I've seen this a couple of times but when I saw it again in Grapefruit, I wanted to know how this usage of existentials worked, since I'm sooo curious to find out how you managed to use the type system for solving some of the typical FRP problems.</div>
<div><br></div><div>I have plenty of references now to study, so hopefully I will get one step further with Grapefruit. Thanks!</div><div><br></div><div><div class="gmail_quote">On Mon, Feb 16, 2009 at 1:30 PM, Wolfgang Jeltsch <span dir="ltr"><<a href="mailto:g9ks157k@acme.softbase.org">g9ks157k@acme.softbase.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Am Sonntag, 15. Februar 2009 17:50 schrieb Peter Verswyvelen:<br>
<div class="Ih2E3d">> I'm having trouble understanding the explanation of the meaning of the<br>
> signature of runST<br>
<br>
</div>Were you just reading the documentation of Grapefruit's era parameters or why<br>
are you studying ST? ;-)<br>
<br>
Best wishes,<br>
<font color="#888888">Wolfgang<br>
</font><div><div></div><div class="Wj3C7c">_______________________________________________<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>