Лекция посвящена лямбда исчислению, изоморфизму Карри-Говарда и функциональному программированию.
Читал во Львове, по приглашению компании Intellias. Лекция "камерная", поэтому может содержать ненормативную лексику, некоторые неточности и strong opinions :)
Слайды - www.slideshare.net/anemish/fu...
Негізгі бет Лямбда исчисление и функциональное программирование. Часть 1 | Лекция
Пікірлер: 34