I must confess that the use of "\_" had me a little confused at first but thinking about it I can see that it makes perfect sense to have an argument or a wildcard character for any value.
Cheers, Paul

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] [EMAIL PROTECTED]
system administrator [openafs,heimdal,too many hats] [EMAIL PROTECTED]
electrical and computer engineering, carnegie mellon university    KF8NH


_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to