Лямбда исчисление и функциональное программирование. Часть 1 | Лекция

Лекция посвящена лямбда исчислению, изоморфизму Карри-Говарда и функциональному программированию. Читал во Львове, по приглашению компании Intellias. Лекция "камерная", поэтому может содержать ненормативную лексику, некоторые неточности и strong opinions :) Слайды -