Вывод типа в анонимных функциях с помощью enrich-my-library - PullRequest
Новая
       16

Вывод типа в анонимных функциях с помощью enrich-my-library

5 голосов
/ 30 ноября 2011

Скажем, у меня есть метод, который превращает (функция на двух элементах) в (функция на двух последовательностях): 

def seqed[T](f: (T,T) => T): (Seq[T], Seq[T]) => Seq[T] = (_,_).zipped map f

Словом, результирующая функция принимает две последовательности xs и ys и создает новую последовательность, состоящую из (xs(0) f ys(0), xs(1) f ys(1), ...) Так, например, если xss равно Seq(Seq(1,2),Seq(3,4)) и f равно (a: Int, b: Int) => a + b, мы можем вызвать его следующим образом: 

xss reduceLeft seqed(f)         // Seq(4, 6)

илис анонимной функцией: 

xss reduceLeft seqed[Int](_+_)

Это довольно хорошо;было бы неплохо избавиться от аргумента типа [Int], но я не понимаю, как (какие-либо идеи?).

Чтобы он выглядел немного более похожим на метод tupled, я также попробовалшаблон enrich-my-library: 

class SeqFunction[T](f: (T,T) => T) {
  def seqed: (Seq[T], Seq[T]) => Seq[T] = (_,_).zipped map f
}
implicit def seqFunction[T](f: (T,T) => T) = new SeqFunction(f)

Для предопределенной функции это прекрасно работает, но уродливо с анонимными 

xss reduceLeft f.seqed
xss reduceLeft ((_:Int) + (_:Int)).seqed

Есть ли другой способ переформулировать этотак что типы выводятся, и я могу использовать синтаксис что-то вроде: 

// pseudocode
xss reduceLeft (_+_).seqed         // ... or failing that
xss reduceLeft (_+_).seqed[Int]

?Или я слишком много спрашиваю о выводе типа?

Ответы [ 3 ]

5 голосов
/ 01 декабря 2011

Вы не можете сделать это так, как хотите, но посмотрите на Function.tupled, который является противоположностью .tupled, которая решает эту самую проблему. 

scala> List(1, 2, 3) zip List(1, 2, 3) map (_ + _).tupled
<console>:8: error: missing parameter type for expanded function ((x$1, x$2) => x$1.$plus(x$2))
              List(1, 2, 3) zip List(1, 2, 3) map (_ + _).tupled
                                                   ^
<console>:8: error: missing parameter type for expanded function ((x$1: <error>, x$2) => x$1.$plus(x$2))
              List(1, 2, 3) zip List(1, 2, 3) map (_ + _).tupled
                                                       ^

scala> List(1, 2, 3) zip List(1, 2, 3) map Function.tupled(_ + _)
res7: List[Int] = List(2, 4, 6)
4 голосов
/ 30 ноября 2011

Я почти уверен, что слишком много просят.Вывод типа в Scala идет слева направо , поэтому сначала нужно выяснить тип (_+_), прежде чем даже рассматривать часть .sedeq.И там недостаточно информации.

0 голосов
/ 04 декабря 2011

Причина, по которой аннотация типа требуется в 

xss reduceLeft seqed[Int](_+_)

, но не в 

xs zip ys map Function.tupled(_+_)

, связана с разницей в требованиях к типу между map и reduceLeft.

def reduceLeft [B >: A] (f: (B, A) ⇒ B): B 
def map        [B]      (f: (A) ⇒ B): Seq[B]   // simple version!

reduceLeft ожидает, что seqed вернет тип B, где B >: Int.Похоже, что точный тип для seqed не может быть известен, поэтому мы должны предоставить аннотацию.Больше информации в этом вопросе .

Один из способов преодоления этого состоит в том, чтобы повторно внедрить reduceLeft без нижней границы. 

implicit def withReduceL[T](xs: Seq[T]) = new {
  def reduceL(f: (T, T) => T) = xs reduceLeft f
}

Тест: 

scala> Seq(Seq(1,2,3), Seq(2,2,2)) reduceL seqed(_+_)
res1: Seq[Int] = List(3, 4, 5)

Проблема в том, что теперь это не работает для подтипов Seq (например, List), с параметром [Int] или без него: 

scala> Seq(List(1,2,3), List(2,2,2)) reduceL seqed(_+_)
<console>:11: error: missing parameter type for expanded function ((x$1, x$2) => x$1.$plus(x$2))
              Seq(List(1,2,3), List(2,2,2)) reduceL seqed(_+_)
                                                          ^

reduceL ожидает функцию типа (List[Int], List[Int]) => List[Int].Поскольку Function2 определяется как Function2 [-T1, -T2, +R], (Seq[Int], Seq[Int]) => Seq[Int] не является допустимой заменой.

...