Name: Anonymous 2011-05-23 0:34
can someone explain them to me.. I'm thinken they might be simple but my pee sized brain can't comprehend most definitions off of google
add:
add :: Int -> Int -> Int
add x y = x + yz = (add 1), then z is now the following function:
z :: Int -> Int
z y = 1 + yz is a closure of add. This also means that the syntax (add 1) 2 is equivalent to add 1 2.