Топ 25 вопросов про Type Inference

Коллекция из 25 самых популярных вопросов про type-inference с ответами и комментариями.
1Использование ключевого слова var в C#
2Collections.emptyList () возвращает List <Object>?
3Реализация вывода типа
4Сбой компиляции JDK 11.0.2 с javac NPE при выводе анонимного параметризованного типа класса
5Предоставляет ли Java 10 ключевое слово val? Если нет, то почему?
6Основной метод с универсальным параметром; почему это работает?
7Приводит ли использование var с буквальным значением к примитивному или примитивному классу-оболочке?
8Почему вызов метода для переменной не позволяет Rust определить тип переменной?
9Почему я получаю AssertionError при прямом назначении Arrays.asList () переменной var?
10Аргумент типа универсального метода C#, не выведенный из использования
11Вывод универсального типа в C# 3.0 - передача делегата в качестве параметра функции
12Сообщение об ошибке переменной неоднозначного типа
13Разница в ржавчине между [fn] и [(fn, u8)]
14Может ли вывод типа Java 10 для локальных переменных вывести void?
15Почему GHC выводит здесь мономорфный тип, даже если MonomorphismRestriction отключен?
16Код неожиданно принят GHC / GHCi
17Общий параметр: кажется, работает только алмазный оператор
18Типизированный интерфейс общего значения ключа в машинописном тексте
19Fundeps и GADT: когда становится решаемой проверка типов?
20Вывод локального типа и контравариантность в переменных универсального типа
21Когда использовать вывод типов в Haskell?
22Почему этот код не компилируется, ссылаясь на вывод типа в качестве причины?
23Почему Dart не может определить тип List.fold()?
24Как исправить ошибку «требуются аннотации типа» при создании замыкания, использующего оператор try?
25Ошибка вывода типа параметра TypeScript