Функциональные языки программирования 5. Списки, Бесконечные последовательности, Типы

Таймкоды: 00:00:00 - Списки. Начало 00:01:05 - Повторение комбинаторов 00:04:10 - Идея списка 00:07:01 - Комбинатор итерации по списку 00:09:14 - isNil. Комбинатор проверки списка на пустоту 00:14:10 - Length. Комбинатор длины списка 00:16:24 - Append. Комбинатор конкатенации списков 00:19:40 - Комбинатор Map 00:21:52 - Идея комбинатора FoldR 00:27:45 - Реализация комбинатора FoldR 00:30:19 - Sum и Prod через FoldR 00:31:30 - Map через FoldR 00:34:10 - Append через FoldR 00:36:20 - Length через FoldR 00:38:35 - Определение бесконечных списков 00:41:52 - Следствие из определения 00:42:45 - Построение бесконечного списка 00:50:36 - Map работает на бесконечных списках 00:52:38 - Вступительное слово про типы 00:54:32 - Типы. Начало 00:56:43 - Определение ATp и → 00:57:40 - Определения множества Tp 00:58:49 - Пример типов 01:00:50 - Правила сокращенной записи типов 01:03:34 - Определение контекста 01:05:17 - Определение отношения типизации 01:11:00 - Разбор задач на отношение типизации Дата лекции: 25.02.2026 Лектор: Дашков Евгений Владимирович Оператор: Александров Олег Монтажер: Александров Олег Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZiVNrtiHgiaFT5KzQaBw22 Плейлист в ВК: https://vkvideo.ru/playlist/-206078025_251