Что значит type inference?

Где и как употребляется

Встречается в сообщениях компилятора и руководствах по типизированным языкам. Выведенный тип всё равно проверяется языком.

Примеры предложений

1. The compiler used type inference to recognize the list as a list of integers.

   Компилятор вывел, что список содержит целые числа.

   Значения элементов позволили определить тип списка без явной аннотации.

2. Type annotations helped where type inference could not choose between two overloads.

   Аннотации типов помогли там, где система не могла выбрать одну из двух перегрузок.

   Явно заданная информация сняла неоднозначность, которую автоматический вывод не разрешил.

Распространённые словосочетания

• compiler type inference
• type inference rules