Лекция 9 | Курс: Функциональное программирование | Лектор: Евгений Кирпичёв | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: [ Ссылка ]

Системы типов (начало)

В лекции вводится понятие системы типов и даются начальные сведения о системе типов языка Haskell и об одном из самых важных ее элементов - обобщенных алгебраических типах (GADT).

Подписывайтесь на канал: [ Ссылка ]
Следите за новостями:
[ Ссылка ]
[ Ссылка ]

свернуть