16 Feb
2009
16 Feb
'09
3:34 a.m.
Peter Verswyvelen wrote:
I'm having trouble understanding the explanation of the meaning of the signature of runST at http://en.wikibooks.org/wiki/Haskell/Existentially_quantified_types
I could try to read the article a couple of times again, but are there any other good readings about these existentially quantified types and how the ST monad works?
Maybe http://en.wikibooks.org/wiki/Haskell/Polymorphism can help? Regards, apfelmus -- http://apfelmus.nfshost.com