«type-inference» etiketlenmiş sorular

Neden ki public <R, F extends Function<T, R>> Builder<T> withX(F getter, R returnValue) {...} o zaman daha katı public <R> Builder<T> with(Function<T, R> getter, R returnValue) {...} Bu, lambda dönüş türünün derleme zamanında neden kontrol edilmediğinin bir takibi . withX()Gibi yöntemi kullanarak buldum .withX(MyInterface::getLength, "I am not a Long") istenen …

12 java  generics  lambda  type-inference 

Type parametresi, bir çevreleme sınıfının aksine bir çevreleme yönteminden geldiğinde desen eşleştirme neden farklı çalışıyor? Örneğin, trait Base[T] case class Derived(v: Int) extends Base[Int] class Test[A] { def method(arg: Base[A]) = { arg match { case Derived(_) => 42 } } } hata veriyor constructor cannot be instantiated to expected …

9 scala  pattern-matching  type-inference  type-parameter