Сегодня — один из долгожданных докладов: Константин Владимиров о совместной жизни перегрузки и вывода типов.
Вывод типов может потребовать разрешения перегрузки. Но и разрешение перегрузки может потребовать вывода типов. Эти два механизма очень сильно связаны в языке. Перегрузка принципиально мешает выводу типов развернуться на полную мощь, но и вывод типов создает для перегрузки проблемы.
😉 YouTube | 📺 VK Видео
Это продолжение серии докладов о семантических процессах, хоть оно и не требует просмотра предыдущих частей, это добавит удовольствия от понимания отсылок автора.
Смотрите другие доклады Константина — в плейлисте.