Языки программирования и компиляторы (2013). Лекция 10
Экзистенциальные типы и абстрактные типы данных
Некоторые аномалии, возникающие при использовании универсальных поверхностных типов. Экзистенциальное представление потоков. Объектно-ориентрованные аналогии. Структурный и номинальный сабтайпинг. Объектная система языка Objective Caml.
Страница лекции на сайте Computer Science Center
АвторДмитрий Булычев
ОрганизаторComputer Science Center
Лекции курса
11- Языки программирования и компиляторы (2013). Лекция 1
- Языки программирования и компиляторы (2013). Лекция 2
- Языки программирования и компиляторы (2013). Лекция 3
- Языки программирования и компиляторы (2013). Лекция 4
- Языки программирования и компиляторы (2013). Лекция 5
- Языки программирования и компиляторы (2013). Лекция 6
- Языки программирования и компиляторы (2013). Лекция 7
- Языки программирования и компиляторы (2013). Лекция 8
- Языки программирования и компиляторы (2013). Лекция 9
- Языки программирования и компиляторы (2013). Лекция 10▶ Вы тут
- Языки программирования и компиляторы (2013). Лекция 11
Онлайн-курсы по программированию
3
Машинное обучение для анализа текстов
От бизнес-идеи к ее реализации: учимся инновационному предпринимательству с нуля.
С платными опциями
Разработка игры-платформера на Defold: базовый уровень
Создайте свой первый платформер с нуля! За 7 недель вы не просто освоите движок Defold, а пройдете весь путь геймдев-разработчика: от кода и анимаций до дизайна и сюжета.
Бесплатный
Python для начинающих
Курс посвящен основам программирования на языке Python — одном из самых популярных и понятных языков, идеально подходящих для первого знакомства с IT.
Бесплатный