[Haskell-cafe] Re: Memoization

[apfelmus]

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