01:25:49
MIPT-FP-25-Sem-03
Описание
Функциональное программирование в МФТИ. Семинар: бесконечные списки в бестиповом лямбда-исчислении; вывод типов и представление функций в исчислении с простыми типами.
Рекомендуемые видео
Большой куш, 2 сезон, 1 выпуск
1 273 314 просмотров
Бутягин: Не думал, что европейские страны будут участвовать в охоте на учёных
1 446 881 просмотров
Гадкий я 2 (2013) / Despicable Me 2
3 003 163 просмотров
ИЗВИНИСЬ ПЕРЕД ПОЛЫМ РЫЦАРЕМ!/ HOLLOW KNIGHT 112%
29 428 просмотров
Приглашение (2026) / The Invite
11 757 просмотров
Варкрафт | Warcraft (2016,4K)
73 996 просмотров
Абрек, 1 сезон, 1 серия
1 041 024 просмотров
Бывшие, 1 сезон, 1 серия
119 276 просмотров
Ставка на любовь, 2 сезон, 10 выпуск
2 027 025 просмотров
Миньоны: Грювитация (2022) / Minions: The Rise of Gru
1 684 832 просмотров
Аватар: Путь воды | Avatar: The Way of Water (2022, 4K)
5 770 041 просмотров
УКРАИНА БЬЕТ ПО WILDBERRIES. ЭКОНОМИКА РФ ПЕРЕД ШТОРМОМ. А ЕСЛИ МОБИЛИЗАЦИЯ?
173 839 просмотров
Дети перемен, 1 сезон, 1 серия
240 849 просмотров
Мастер игры, 2 сезон, 2 выпуск
124 902 просмотров
Гарри Поттер и Кубок огня | Harry Potter and the Goblet of Fire (2005, 4K)
4 265 333 просмотров
Быстрое засыпание за 3 минуты ★ Исцеление от стресса и бессонницы ★ Устранение негативных мыслей
283 934 просмотров
Гарри Поттер и узник Азкабана| Harry Potter and the Prisoner of Azkaban (2004,4K)
5 313 889 просмотров
СБОРНИК СКАЗОК Колобок, Жихарка, Умная Дочка, Нехороший Мальчик
6 397 032 просмотров
Погоня, 2 сезон, 1 выпуск
146 433 просмотров
Кей-поп охотницы на демонов (мультфильм 2025) / K-Pop Demon Hunters
448 254 просмотров