Scala Currying函数与基本函数的解释

Question

What is the difference between the following two functions definition? Please bear with me if this has been answered before. I don't know what is the first type of function called to search for properly.

def f1(a: String, b: T)(c: String, d: String, e: String = "_id"): Unit = ???

and

def f1(a: String, b: T, c: String, d: String, e: String = "_id"): Unit = ???

I know that it is similar to the question mentioned here .

• Q1: What is the difference ?
• Q2: What are the advantages of defining currying functions ?

Answer 1

A1 :

• The difference is that in the latter you have to provide all the parameters at the same time.

A2 :

• The big advantage (for me) is the ability to perform partial application of the function.

---

EDIT Advantages / Disadvantages concept-wise

lambda calculus semplicity:

In theoretical computer science, currying provides a way to study functions with multiple arguments in very simple theoretical models such as the lambda calculus in which functions only take a single argument.

(nice example here: https://en.wikipedia.org/wiki/Currying#Motivation )

Curried functions needs closure support:

Curried functions may be used in any language that supports closures

Uncurried functions for performance :

Uncurried functions are generally preferred for efficiency reasons, since the overhead of partial application and closure creation can then be avoided for most function calls.

Curry–Howard correspondence:

The existence of currying and uncurrying is equivalent to the logical theorem as tuples (product type) corresponds to conjunction in logic, and function type corresponds to implication.

Source: https://en.wikipedia.org/wiki/Currying