Eugene Kirpichov wrote:
2009/11/12 Andrew Coppin <andrewcop...@btinternet.com>:
Joe Fredette wrote:
Forall means the same thing as it means in math
...which not everybody already knows about. ;-)
Even I am still not 100% sure how placing forall in different positions does
different things. But usually it's not something I need to worry about. :-)
To me it does not look like it does different things: everywhere it
denotes universal polymorphism. What do you mean? I might be missing
something.
I just meant it's not immediately clear how
foo :: forall x. (x -> x -> y)
is different from
foo :: (forall x. x -> x) -> y
It takes a bit of getting used to.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
