Результаты поиска по запросу "type-inference"
Различия в выводе типов JDK8 Javac / Eclipse Luna?
Я пытаюсь переключить проект на Java8 и сталкиваюсь со странными различиями между Eclipse Luna и выводом типа javac. С JDK 1.7.0_65 javac этот код компилируе...
автоматическое связывание (вывод типов) обобщенных типов компилятором
следующий код имеет ошибку компиляции в строке t3:
Почему вывод типа Java так слаб?
Скажем, у меня есть метод:
Вывод типа Scala на экзистенциальный тип
Рассмотрим следующий фрагмент кода, который является уменьшенной версией моей первоначальной проблемы:
Каковы ограничения на вывод типов с более высоким родом в Scala?
В следующем упрощенном примере кода:
@ Adrian обычно так и есть, но как только вы добавляете полиморфизм в систему типов, в некоторых случаях вывод типов становится неразрешимым. Я предполагаю, что компилятор Scala несколько консервативен в ситуациях, когда могут возникнуть такие проблемы. В Java вы даже не можете написать такое выражение без указания всех параметров типа или использования необработанных типов - по крайней мере, аргумент функции необходимо будет аннотировать по типу, и в этом случае Scala также может правильно выводить типы.
у вывод типа здесь терпит неудачу? scala> val xs = List(1, 2, 3, 3) xs: List[Int] = List(1, 2, 3, 3) scala> xs.toSet map(_*2) <console>:9: error: missing parameter type for expanded function ((x$1) => x$1.$times(2)) xs.toSet map(_*2)Однако ...