Bir işlevin bir ikinci-sıra-işlevine örtük dönüştürülmesi, yalnızca dönüştürülecek işlev en az iki parametreye sahipse çalışır.

Question

Herhangi bir örtülü dönüştürme ve daha yüksek işlevli işlev sorunum var. Bir fonksiyonun bir ikinci-sıra-fonksiyonuna dolaylı bir dönüşümünün, dönüştürülecek işlevin en az iki parametresi olması durumunda, işe yarayacağı görülmektedir.

İşleri:

implicit def conv(foo: Integer => String): String => String = null 

Çalışmaz:

implicit def conv(foo: Integer => String): String => String => String = null 

Çalışır:

{ 
    implicit def conv(foo: Integer => String): String => String = null 

    def baadf00d(foo: Integer): String = null 

    def deadbeef(foo: String => String) = null 

    deadbeef(conv(baadf00d)) 

    deadbeef(baadf00d) 
} 

{ 
    implicit def conv(foo: Integer => String): String => String => String = null 

    def baadf00d(foo: Integer): String = null 

    def deadbeef(foo: String => String => String) = null 

    deadbeef(conv(baadf00d)) 

    deadbeef(baadf00d) // <-------- DOES NOT COMPILE! 
} 

{ 
    implicit def conv(foo: (Integer, Integer) => String): String => String => String = null 

    def baadf00d(foo: Integer, bar: Integer): String = null 

    def deadbeef(foo: String => String => String) = null 

    deadbeef(conv(baadf00d)) 

    deadbeef(baadf00d) 
} 

: başarısızlık noktası ile

implicit def conv(foo: (Integer, Integer) => String): String => String => String = null 

Tam örneği

Neyi özlüyorum?

Teşekkürler!

Answer 1

implicit def conv1(a: Function1[Int, String]): Function2[String, String, String] = null 
def baadf00d1(i: Int): String = null 
def deadbeef1(arg: Function2[String, String, String]) = null 
deadbeef(baadf00d) // compiles 

O olmuyor A => B ve Function1[A,B] arasında dönüşüm bu.

Ayrıca Predef bir Function tipi vardır - burada tip farklılıkları dikkat edin: (yorum aşağıda da belirtildiği gibi)

scala> val f1: Function[Int, Int] = null 
f1: Function[Int,Int] = null 

scala> val f2: Function1[Int, Int] = null 
f2: Int => Int = null 

scala> :type f1 
Function[Int,Int] 

scala> :type f2 
Int => Int 

O Function1 bir takma, ama farklı tip sınırları ile. örtük dönüşümler Scala ve Scala Körili ve uncurried fonksiyonlar olduğu gerçeği üzerinde çalışmak nasıl

Answer 2

implicit def conv(foo: Integer => String): String => String => String = ??? 

    def baadf00d(i: Integer): String = ??? 
    def goodf00d: Integer => String = _ => ??? 

    def deadbeef(foo: String => String => String) = ??? 

    deadbeef(conv(baadf00d)) 

    deadbeef(baadf00d) // <-------- DOES NOT COMPILE! 
    deadbeef(goodf00d) // <-------- COMPILE! 
    // ¯\_(ツ)_/¯ 

konudur.

Bu, İŞLETMESİ GEREKMEKTEDİ, ancak muhtemelen başka bir derleyici hatasının bulunmadığı bir şeydir (Scala'yı kullandığınızda çok daha fazlasını karşılamaya hazır olun).

DÜZENLEME: En son örnekte fonksiyon tanımları maçı var çünkü var

implicit def conv(foo: (Integer, Integer) => String): String => String => String = null 

def baadf00d(foo: Integer, bar: Integer): String = null 

def deadbeef(foo: String => String => String) = null 

gelince. Konv, (Int, Int) => String numaralı bir işlevi ve baadf00d'un nasıl tanımlandığı gibi, scala'daki normal bir yöntem tanımlaması bekler.

Örneğin bir işlevi:

def f(a: Int, b: Int): String 

2 Ints tupled olduğu bir

(Int, Int) => String 

Bildirimi dönüştü alır! Eğer içine baadf00d yeniden tanımlamak için

Int => Int => String 

olsaydı:

def baadf00d: Integer => Integer => String = _ => _ => ??? 

Bu kod derlemek olmaz baadf00d şimdi "farklı" olduğu için yapıyor olsa bile, aynı Bu aynı değildir aynı şey.Daha fazla bilgi için

, nesnelerin tanımı bakmak:

Function1, Function2, Function3 .... 

http://www.scala-lang.org/api/current/#scala.Function2