Функциональное программирование. Лекция 9
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
19.12.10
Дата публикации:
19.12.10
Код для блога:
Системы типов (начало)
В лекции вводится понятие системы типов и даются начальные сведения о системе типов языка Haskell и об одном из самых важных ее элементов - обобщенных алгебраических типах (GADT).
Страница лекции на сайте Computer Science клуба
Другие лекции курса
7