[Haskell-cafe] forall & ST monad

Peter Verswyvelen bugfact at gmail.com
Mon Feb 16 08:21:57 EST 2009

Aha! Wolfgang is a man who knows his own code :)
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.

I have plenty of references now to study, so hopefully I will get one step
further with Grapefruit. Thanks!

On Mon, Feb 16, 2009 at 1:30 PM, Wolfgang Jeltsch <
g9ks157k at acme.softbase.org> wrote:

> Am Sonntag, 15. Februar 2009 17:50 schrieb Peter Verswyvelen:
> > I'm having trouble understanding the explanation of the meaning of the
> > signature of runST
> Were you just reading the documentation of Grapefruit's era parameters or
> why
> are you studying ST? ;-)
> Best wishes,
> Wolfgang
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090216/b10e00a3/attachment.htm

More information about the Haskell-Cafe mailing list