City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Типы данных
Functional programming

What: Lecture
When: Wednesday, 05 February 2020, 18:10–19:45
Where: НГУ, ауд. 2128, НГУ, ауд. 2128
Slides: func_prog_lecture_050220.pdf

Description

Ошибки. Основание. Строгие и нестрогие функции. Ленивое и энергичное исполнение. Функция seq.

Алгебраические типы данных. Сопоставление с образцом, его семантика. Объявления type и newtype. Метки полей.

Основные функции стандартной библиотеки для работы со списками. Бесконечные списки. Арифметические последовательности. Выделение списков.

Video