Лекция 3. Специальный (ad-hoc) полиморфизм
Классы типов и словари, вывод инстансов, дефункционализация, семейства типов, коерции и роли.
Перед занятием
Параметрический полиморфизм и вычисления на типах из лекции 2.
Самостоятельная работа
Откройте версию «По шагам» и попробуйте ответить на вопрос или решить задачу до следующего клика. Обычная версия слайдов и PDF подходят для повторения.
Условия домашнего задания и инструкции по работе находятся в README по кнопке «Домашнее задание».