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] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH