[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
It's not currying!
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)
(proc x y))))
(((curry2 +) 12) 13)
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
So please don't call this operation currying.