[Haskell-cafe] forall & ST monad
a.biurvOir4 at asuhan.com
Mon Feb 16 13:04:56 EST 2009
Peter Verswyvelen-2 wrote:
> I'm having trouble understanding the explanation of the meaning of the
> signature of runST at
> 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?
Existential quantification can be discussed without reference to
runST, and the more I reread the wikibooks link you gave, the
more I'm convinced the runST section doesn't belong there.
The tenuous connection between them is higher-ranked types.
You can't do much with existential quantification without
invoking them. That one presupposes the other does not
necessitate its converse. Despite its rank-2 type, runST really
doesn't have anything to do with e.q.
View this message in context: http://www.nabble.com/forall---ST-monad-tp22024677p22042542.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
More information about the Haskell-Cafe