Результаты поиска по запросу "type-inference"

2 ответа

Различия в выводе типов JDK8 Javac / Eclipse Luna?

Я пытаюсь переключить проект на Java8 и сталкиваюсь со странными различиями между Eclipse Luna и выводом типа javac. С JDK 1.7.0_65 javac этот код компилируе...

1 ответ

Почему чтение не может выводить правильный тип?

5 ответов

автоматическое связывание (вывод типов) обобщенных типов компилятором

следующий код имеет ошибку компиляции в строке t3:

ТОП публикаций

3 ответа

Почему вывод типа Java так слаб?

Скажем, у меня есть метод:

3 ответа

Вывод типа Scala на экзистенциальный тип

Рассмотрим следующий фрагмент кода, который является уменьшенной версией моей первоначальной проблемы:

3 ответа

Collections.emptyList () возвращает список <Object>?

2 ответа

Каковы ограничения на вывод типов с более высоким родом в Scala?

В следующем упрощенном примере кода:

3 ответа

@ 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)Однако ...

4 ответа

Джулия печатается динамически?

1 ответ

Кастинг номеров странных свифт