Domande taggate «type-inference»

L'inferenza del tipo è il processo di inferenza automatica dei tipi per i programmi, utilizzando regole definite da un sistema di tipi.

Perché un parametro di tipo è più forte di un parametro di metodo

Perché è public <R, F extends Function<T, R>> Builder<T> withX(F getter, R returnValue) {...} più severo allora public <R> Builder<T> with(Function<T, R> getter, R returnValue) {...} Questo è un follow-up su Perché il tipo di ritorno lambda non viene verificato al momento della compilazione . Ho trovato usando il metodo …

12 java generics lambda type-inference

Differenza tra inferenza di tipo del metodo e parametri del tipo di classe nella corrispondenza del modello

Perché la corrispondenza dei modelli funziona in modo diverso quando il parametro type proviene da un metodo che racchiude in contrapposizione a una classe che lo racchiude? Per esempio, trait Base[T] case class Derived(v: Int) extends Base[Int] class Test[A] { def method(arg: Base[A]) = { arg match { case Derived(_) …

9 scala pattern-matching type-inference type-parameter

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.