Подтвердить что ты не робот

Как получить (a, b) => c из a => b => c в Scala?

Если у меня есть:

val f : A => B => C

Это сокращение для:

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]

в терминах f?

4b9b3361

Ответ 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>

Ответ 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)

Обратные функции для обеих этих операций также предусмотрены в объекте Function, поэтому вы могли бы написать выше, если хотите

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

Ответ 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)
}

Ответ 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(_)(_)