Семинар-130

Расширенный семинар отдела
вычислительных систем ИММ УрО РАН

Доклад


Когда и где
14 ноября 2022 г. 15:00, понедельник
online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve
Докладчики
  • Михайлов Игорь Олегович
Название
Дженерики в Kotlin
Аннотация
Посмотрим, чем принципиально отличаются дженереки (generics -- один из способов создания параметризованных типов) от шаблонов C++. Попробуем при помощи дженериков Kotlin выразить массивы с доступом только на чтение. Рассмотрим refined types (типы с уточнениями) -- гибрид дженериков и шаблонов. Наконец, покажем, как на дженериках в Kotlin можно реализовать часть функциональности зависимых типов без накладных расходов во время исполнения программы.
Презентация
Ссылка на видео
Видео

Вернуться к списку новостей