Лямбда исчисление и функциональное программирование. Часть 1 | Лекция
Лекция посвящена лямбда исчислению, изоморфизму Карри-Говарда и функциональному программированию.
Читал во Львове, по приглашению компании Intellias. Лекция “камерная“, поэтому может содержать ненормативную лексику, некоторые неточности и strong opinions :)
Слайды -
4 views
95
13
9 months ago 01:06:25 1
Дмитрий Сошников — Введение в теорию функционального программирования с примерами на F#
12 months ago 00:36:13 1
Функциональное программирование во фронтенде: лямбда-исчисление и JS, монады, Elm, Fantasy Land