Що означає 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