[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

It's not currying!



Hello list,

I have a very simple problem with this SRFI:
the name is wrong. What is described is
not currying (that much is admitted in
the draft itself!)

Currying would be something like this:

(define (curry2 proc)
  (lambda (x)
    (lambda (y)
      (proc x y))))

(((curry2 +) 12) 13)
==> 25

What *is* described is partial application.
Now it so happens that if
1. multiple-argument functions are really
   curried, single-argument functions, and
2. all evaluation is lazy,
then there is no semantic difference between
partial application on the first argument and
full application. So one gets partial application
"for free". As is the case in the H*sk*ll language.
Nevertheless, even in Haskell this wouldn't be
called currying.

So please don't call this operation currying.

Greetings,

Stephan