Теория типов и изоморфизм Карри-Ховарда: Глубокая гармония между Суждениями=Типами и Доказательствами=Программами
Tags
4 страницы
Functional-Programming
Философия Haskell и чисто функциональных языков: Мир монад и его глубины
Основы и преимущества функционального программирования (чистые функции, неизменяемость, концепция монад)
Лямбда-исчисление (Lambda Calculus) и истоки функционального программирования: от теории Алонзо Чёрча до Lisp и Haskell
