Re: [Haskell-beginners] A post about Currying and Partial application

On Sun, Oct 2, 2011 at 12:04 AM, Rustom Mody wrote:

How would you classify a function of type (Int, Int) -> Int -> Int ?

It's curried. Uncurried would be: ((Int, Int), Int) -> Int

Likewise if we have a polymorphic foo: Int -> a and we instantiate a to Int -> Int  does foo suddenly get curried?

Int -> a is both curried and uncurried. Int -> Int -> Int is just curried. -- Felipe.