Язык Kotlin 2021 | W5L2 | Лямбда-исчисление
HTML-код
- Опубликовано: 15 сен 2024
- Факультатив "Язык Kotlin" проходит на факультете компьютерных наук НИУ ВШЭ с 2016 года при поддержке компании JetBrains.
Данная лекция была записана в осеннем семестре 2021 года, когда по причине пандемии факультатив проходил в онлайн-режиме.
Лектор и автор курса: Алексей Мицюк, доцент НИУ ВШЭ
#Kotlin #2021 #ФКН
0:18 История программирования (Машина Тьюринга и λ-исчисление)
4:40 λ-исчисление
8:51 Продолжение про историю λ-исчисления (почему λ)
13:23 λ-абстракция
15:26 Свободные переменные
16:25 Идентичность и константы
17:16 Основные действия
17:48 β-редукция
21:48 α-эквивалентность
22:17 η-преобразование
24:23 Каррирование
Либо я уже достаточно погрузился, либо вы рассказываете гораздо лучше чем Москвин. Спасибо
Спасибо
/watch?v=R9d0KelayMc