मैं स्केल में एक => बी => सी से (ए, बी) => सी कैसे प्राप्त करूं?

Question

तो मेरे पास है:

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

मैं कैसे हस्ताक्षर के साथ एक समारोह g मिलता है:

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

(यानी)

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

val f : A => B => C 

इस के लिए आशुलिपि है के संदर्भ में 0

?

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

,, पूर्णता

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) 

इन आपरेशनों दोनों के लिए बातचीत कार्य भी समारोह वस्तु पर प्रदान की जाती हैं के लिए retonym के जवाब का विस्तार है, तो आप पीछे की ओर से ऊपर लिख सकता है अगर आप

कामना

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

बस जवाब देने के लिए, हालांकि ऐसा करने के लिए एक लाइब्रेरी विधि है, यह हाथ से ऐसा करने के लिए भी निर्देशक हो सकता है:

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> 

या सामान्य रूप में,

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

Answer 4

रेक्स केर द्वारा जवाब देने के लिए इसी तरह की है, लेकिन पढ़ने में आसान।

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(_)(_)