Перегрузка и вывод: проблемы жизни вместе

Вывод типов может потребовать разрешения перегрузки. Но и разрешение перегрузки может потребовать вывода типов. Эти два механизма очень сильно связаны в языке. Перегрузка принципиально мешает выводу типов развернуться на полную мощь, но и вывод типов создает для перегрузки проблемы.

Мы обсудим их совместную жизнь и разберем несколько интересных случаев. Доклад продолжает серию докладов о семантических процессах, но не требует просмотра предыдущих частей (хотя это добавит удовольствия от понимания отсылок автора).