Làm thế nào để nhận được (a, b) => c từ a => b => c trong Scala?

Question

Nếu tôi có:

val f : A => B => C 

Đây là viết tắt cho:

val f : Function1[A, Function1[B, C]] 

Làm thế nào để có được một hàm g với chữ ký:

val g : (A, B) => C = error("todo") 

(ví dụ)

val g : Function2[A, B, C] //or possibly 
val g : Function1[(A, B), C] 

về mặt số f?

Answer 1

scala> val f : Int => Int => Int = a => b => a + b 
f: (Int) => (Int) => Int = <function1> 

scala> Function.uncurried(f) 
res0: (Int, Int) => Int = <function2> 

Answer 2

Mở rộng câu trả lời retonym của, cho đầy đủ

val f : Int => Int => Int = a => b => a + b 
val g: (Int, Int) => Int = Function.uncurried(f) 
val h: ((Int, Int)) => Int = Function.tupled(g) 

Các chức năng ngược lại cho cả hai hoạt động cũng được cung cấp trên đối tượng Chức năng, vì vậy bạn có thể viết ở trên về phía sau, nếu bạn muốn

val h: ((Int, Int)) => Int = x =>(x._1 + x._2) 
val g: (Int, Int) => Int = Function.untupled(h) 
val f : Int => Int => Int = g.curried //Function.curried(g) would also work, but is deprecated. Wierd 

Answer 3

Chỉ cần làm tròn câu trả lời, mặc dù có phương pháp thư viện để thực hiện việc này, cũng có thể có hướng dẫn để thực hiện điều đó bằng tay:

scala> val f = (i: Int) => ((s: String) => i*s.length) 
f: (Int) => (String) => Int = <function1> 

scala> val g = (i: Int, s: String) => f(i)(s) 
g: (Int, String) => Int = <function2> 

Hoặc nói chung,

def uncurry[A,B,C](f: A=>B=>C): (A,B)=>C = { 
    (a: A, b: B) => f(a)(b) 
} 

Answer 4

Tương tự như câu trả lời bởi Rex Kerr nhưng dễ đọc hơn.

type A = String 
type B = Int 
type C = Boolean 

val f: A => B => C = s => i => s.toInt+i > 10 

val f1: (A, B) => C = f(_)(_)