Лекция 10 | Языки программирования и компиляторы (2013) | Дмитрий Булычев | CSC | Лекториум
736
81.8
Лекториум194 тыс
Следующее
21.11.13 – 1631:24:22Популярные
19 дней – 1913:54
Опубликовано 21 ноября 2013, 9:27
Лекция 10 | Курс: Языки программирования и компиляторы (2013) | Лектор: Дмитрий Булычев | Организатор: Computer Science Center
Смотрите это видео на Лекториуме: lektorium.tv/lecture/14893
Экзистенциальные типы и абстрактные типы данных.
Некоторые аномалии, возникающие при использовании универсальных поверхностных типов. Экзистенциальное представление потоков. Объектно-ориентрованные аналогии. Структурный и номинальный сабтайпинг. Объектная система языка Objective Caml.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/14893
Экзистенциальные типы и абстрактные типы данных.
Некоторые аномалии, возникающие при использовании универсальных поверхностных типов. Экзистенциальное представление потоков. Объектно-ориентрованные аналогии. Структурный и номинальный сабтайпинг. Объектная система языка Objective Caml.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
3 дня – 3 79823:58
4 дня – 4 19320:16
4 дня – 9 0441:00
4 дня – 3 07456:51
5 дней – 22 4510:17Случайные видео
91 день – 1 0320:57
20.09.23 – 777 8795:18:32
18.08.23 – 33 72712:12
07.02.22 – 37 1954:19:28
26.11.21 – 9 75511:22
17.05.12 – 14 48923:00
3 дня – 42 68423:15
6 дней – 6 1100:58
7 дней – 12742:15
9 дней – 326 29030:20
13 дней – 98 51134:50