[Haskell-cafe] Spot the difference!

[Brandon S. Allbery KF8NH]

On Sep 20, 2007, at 0:03 , PR Stanley wrote:

> \_ n -> 1 + n
> \_ -> (\n -> 1 + n)
> The outcome seems to be identical. is there a substantive  
> difference between the two definitions?
> The second one seems to be more expressive of the currying principle.
> Any thoughts?

I *think* the former is internally converted to the latter; this is  
how currying works.

-- 
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH