[Haskell-cafe] Re: Memoization

apfelmus apfelmus at quantentunnel.de
Sun May 27 08:59:03 EDT 2007


Andrew Coppin wrote:
>>> OOC, can anybody tell me what ∀ actually means anyway?

http://en.wikipedia.org/wiki/Universal_quantification
http://en.wikipedia.org/wiki/System_F

> I do recall that GHC has some weird extension called "existential
> quantification"

http://haskell.org/haskellwiki/Existential_types
http://en.wikibooks.org/wiki/Haskell/Existentially_quantified_types

Regards,
apfelmus



More information about the Haskell-Cafe mailing list