스칼라 : 두 개의 매개 변수 목록을 사용하는 함수 객체의 유형은 무엇입니까?

Question

고차 함수의 인수로 두 개의 매개 변수 목록을 사용하는 함수 객체를 전달하려고한다고 가정합니다. 그러한 객체의 유형은 무엇입니까?

object passMe extends <???> { 
    def apply(x: Double)(implicit ctx: Context): String = . . . 
} 

내가 extends 후 넣어해야합니까 :

예를 들어,이 같은 객체가 될 수 있는가? 또는 passMe을 매개 변수로 허용하는 함수를 선언하려면 어떻게해야합니까? 즉 내가 관심이있는 것을 중심으로 이후

def foundation(xs: Seq[Double], oneOfThoseObjects: <???>)(implicit ctx: Context): Unit = { 
    . . . 
    xs.map(oneOfThoseObjects).toSet. . . . 
} 

내 예는 암시 적 매개 변수 목록을 사용하지만, 여전히이 명시 적 매개 변수 목록을 가진 함수를 선언하는 방법을 알고 도움이 될 것이다. 나는 그런 선언이 어떻게 생겼는지를 나타내는 Function1, Function2, ... series에서 아직 아무것도 발견하지 못했다.

Answer 1

두 개의 매개 변수 목록이있는 함수는 다른 함수를 반환하는 함수로 모델링 할 수 있습니다. 이것은 currying이라는 기술입니다. 이 같은

scala> val add:Function1[Int,Function1[Int, Int]] = x => (y => x + y) 
add: Int => (Int => Int) = <function1> 

을 그리고 전화 : 예를 들어, 추가 기능은 다음과 같이 쓸 수

당신이 볼 수 있듯이, 동일한 유형이 Function1와 => 구문을 모두 기록 할 수

scala> add(1)(2) 
res1: Int = 3 

. 일부 REPL에서 장난 후

Answer 2

, 나는이에 도착 :

(Double => (Context => String)) 

어떤 영어로 말한다, "함수 문자열 더블을 복용하고 문맥을 복용하는 함수를 반환하고 반환"

을

따라서, 귀하의 passMe 객체는 다음과 같이 보일 것이다 : 그러나

object passMe extends (Double => (Context => String)) { 
    def apply(d: Double) = { 
    def f(c: Context) = "...something..." 
    f _ 
    } 
} 

, 암시 적 매개 변수의이 작동하지 않습니다 때문에이 때문에 t으로 그는 암시 적 매개 변수, 형식 불일치로 끝납니다 (scala.collection.immutable.WrappedString 필요). 그래서 결국 결국 이랬어 :

object passMe extends (Double => scala.collection.immutable.WrappedString) { 
    def apply(d: Double) = { 
    def f(implicit c: Context) = "...something..." 
    f _ 
    } 
}