In Scala, wie Funktion mit mehreren Parameterlisten als Argument übergeben?

Question

def multi_fun(i:Int, s:String)(d:Double) […] 

Wie übergeben Sie diese Funktion jetzt an eine andere Funktion als Argument, d. H. Welcher Parametertyp muss angegeben werden?

def fun_that_likes_multi_fun(mf:(Int, String)(Double) ⇒ Unit) […] 

Dies würde nicht funktionieren, fehlschlägt sogar zu analysieren.

Answer 1

def fun_that_likes_multi_fun(mf:(Int, String)=>Double => Unit)={} 

Die Funktion, die Sie erwähnt haben, ist eine curried Funktion. Das bedeutet, dass das Ergebnis der Anwendung der ersten Argumentliste eine andere Funktion ist, die die zweite Argumentliste zur vollständigen Verarbeitung übernimmt. So ist es so dargestellt.

Answer 2

Genau wie folgt aus:

def multiFun(i:Int, s:String)(d:Double):Unit = ??? 

def highOrderFun(mF:(Int, String) => Double => Unit) = ??? 

highOrderFun(multiFun) 

Denken Sie an multiFun als der Funktion, die Double => Unit(Int, String) und gibt Funktion mit Typ nimmt.

Upd: In Bezug auf implizite Parameter. Es scheint, dass es nicht möglich ist, eine Methode mit impliziten Parametern zu übergeben. See some details here. Obwohl ich schön Abhilfe für Ihren Fall sehen:

def multiFun(i:Int, s:String)(implicit d:Double):Unit = ??? 

def highOrderFun(mF:(Int, String, Double) => Unit) = ??? 

highOrderFun(multiFun(_, _)(_)) 

Diese Syntax multiFun(_, _)(_) schafft nur Wrapper-Funktion um multiFun, die drei Parameter, deren Typen abgeleitet von params von multiFun nimmt.

---

UPD: Als Antwort auf @ackratos:

Es scheint, dass es is no way to make lambda function type generic. Vor allem, weil es eine fundamental difference zwischen Lambda-Funktionen und Methoden gibt.

Aber wie oben Funktionen als Methoden definiert sind, nichts hindert uns daran, was sie generic:

def multiFun[T](i:T, s:String):Unit = ??? 

def highOrderFun[T](mF:(T, String) => Unit) = ??? 

highOrderFun(multiFun[Int]) 

 

Es ist möglich, Funktion zu verweisen, die ohne eine implizite param Liste als Funktion hat. In diesem Fall fehlt implizites params wird aufgelöst Werte ersetzt werden:

def multiFun(s:String)(implicit i:Int):Unit = ??? 

def highOrderFun(context:Any)(mF:String => Unit)(implicit i:Int) = ??? 

implicit val param = 2 
highOrderFun(1.0)(multiFun) // param i:Int is resolved here