Niejawna konwersja funkcji do funkcji drugiego rzędu działa tylko wtedy, gdy funkcja konwersji ma co najmniej dwa parametry.

Question

Mam problem z niejawnymi konwersjami i funkcjami wyższego rzędu. Wydaje się, że niejawne konwersje funkcji na funkcję drugiego rzędu działają tylko wtedy, gdy funkcja konwersji ma co najmniej dwa parametry.

Works:

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

nie działa:

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

działa:

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

Pełny przykład z punktu awarii:

{ 
    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) 
} 

Czego mi brakuje?

Dzięki!

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 

To konwersja między A => B i Function1[A,B] że nie dzieje.

Ponadto istnieje Function wpisz Predef - zauważyć różnice typu tutaj:

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 

To aliasem Function1, ale z różnych granicach typu (jak wskazano w komentarzach poniżej).

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! 
    // ¯\_(ツ)_/¯ 

Problem polega na tym, jak niejawne konwersje działają na Scali oraz na fakt, że Scala ma funkcje curry i uncurry.

To jest coś, co powinno działać, ale nie działa i prawdopodobnie jest kolejnym błędem kompilatora (przygotuj się na spotkanie z wieloma innymi użytkownikami, gdy będziesz coraz częściej używać Scala).

EDIT: Co do ostatniego przykładu

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 

To dlatego, że definicje funkcji są zgodne. Konw oczekuje, że funkcja (Int, Int) => String i normalna definicja metody (uncurried) w scala, jak zdefiniowano baadf00d, zamienia się w tę funkcję.

Na przykład, funkcja:

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

Gets przekształcony w

(Int, Int) => String 

zauważyć, że 2 Ints są tupled! To nie jest takie samo jak:

Int => Int => String 

Jeśli było przedefiniowanie baadf00d do:

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

Ten kod nie będzie kompilować, ponieważ baadf00d jest „inny”, mimo że robi ta sama rzecz.

Aby uzyskać więcej informacji, należy spojrzeć na definicję obiektów:

Function1, Function2, Function3 .... 

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