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

Felipe Almeida Lessa felipe.lessa at gmail.com
Sun Oct 2 05:30:02 CEST 2011


On Sun, Oct 2, 2011 at 12:04 AM, Rustom Mody <rustompmody at gmail.com> 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.



More information about the Beginners mailing list