tgoop.com/scala_verticals/37
Last Update:
Подношение от типов: отношение подтипов
Великие типы поднесли нам язык программирования, в котором каких только типов нет. В Scala есть и типы высших порядков, и типы, зависимые от путей, и много других.
При этом это всё ещё объектно ориентированный язык, а значит, без отношения подтипирования — никак: наследоваться-то надо.
Алексей Троицкий из Т-Банка F[Scala] 2024 рассказал, как удивительным образом хорошо это отношение работает со всеми видами типов языка и как это используется на практике в скаловых опенсорс-библиотеках.
Смотрим:
Все записи можно найти в плейлисте F[Scala] 2024 в ВК Видео и на Youtube.
Если у вас будут вопросы к спикеру, пишите их в комментариях
@scala_verticals
