Практически все из нас с ними сталкивались, причем многие даже не подозревали об этом. Алгебраические типы данных — что это? Поговорили об этом с Виталием Брагилевским. Виталий уже 15 лет преподает студентам разнообразные дисциплины так или иначе связанные с программирование. А помимо этого, Виталий состоит в комитете по стандартизации языка Haskell. В этом выпуске мы обсудили вообще само по себе понятие «данные» и разные подходы к тому, как взаимодействовать с ними. И, разумеется, основное внимание уделили алгебраическим типам данных. Обширные познания Виталия в различных языках программирования позволили нам подробно разобраться в предмете.

Содержание

00:00:38 - Знакомство с гостем
00:06:28 - Про данные в широком смысле
00:12:48 - Ретроспектива взглядов на данные
00:17:18 - Про объектно-ориентированный подход
00:25:30 - Проблемы ООП
00:30:43 - Абстрактные типы данных, объектная модель и алгебраические типы
00:37:12 - Определение алгебраических типов данных
00:43:17 - Примеры АТД
00:55:25 - Обобщенные АТД
01:03:04 - Pattern-matching
01:11:25 - Другие способы доступа к АТД
01:21:30 - Рекурсия и АТД
01:29:36 - Иммутабельность
01:33:47 - АТД в разных языках программирования
01:45:26 - Преимущества и недостатки
01:54:50 - Типичные юзкейсы для АТД
02:00:12 - Что почитать
02:09:07 - Подведение черты
02:10:51 - Вопрос Стасу

Полезные ссылки

• Статья Романа Душкина об алгебраических типах данных
• Журнал "Практика функционального программирования»
• Get Programming with Haskell
• Haskell in Depth