Вывод типов в Java (а-ля C #) [закрыто]

В настоящее время этот вопрос не подходит для нашего формата вопросов и ответов. Мы ожидаем, что ответы будут подтверждены фактами, ссылками или опытом, но этот вопрос, скорее всего, потребует дебатов, аргументов, опросов или расширенного обсуждения. Если вы считаете, что этот вопрос можно улучшить и, возможно, снова открыть, посетите справочный центр , чтобы получить рекомендации.

Closed 8 лет назад .

С тех пор, как я услышал о выводе типов (в Haskell), у меня сложилось впечатление, что Java - полная противоположность, т. Е. В нем нет вывода типов. Однако недавно у меня был ага-момент, и я понял, что Java использует вывод типов в своей реализации дженериков.

Затем я прочитал две статьи Гилада Браха (одного из людей, стоящих за реализацией дженериков на Java, насколько я понимаю) . Первая статья - это учебник по дженерикам (PDF), в котором он явно говорит, что компилятор выведет фактический аргумент типа, используемый для замены параметра типа формата. Итак, в Java есть вывод типов, но почему только для дженериков, почему не что-то вроде ключевого слова C # var ? И это мой вопрос к вам.

Почему Java не имеет большего количества выводов типов, встроенных в компилятор?

Я предложу ответ, и это относится ко второй статье, которую я прочитал, Системы сменного типа (PDF). Похоже, что это, реализовать вывод типа как отдельный инструмент, доступный в среде IDE. Программисты, которые находят входящий тип утомительные аннотации могут вызвать логический вывод по запросу.

Как вы думаете?

задан Ionuț G. Stan 1 January 2011 в 13:59

0 ответов

Другие вопросы по тегам:

java generics type-inference

Вывод типов в Java (а-ля C #) [закрыто]

0 ответов

Похожие вопросы: