Unlambda — минимальный функциональный язык программирования, придуманный Дэвидом Мэдором (David Madore). Он основан на комбинаторной логике, варианте лямбда-исчисления, который опускает оператор lambda. Язык полагается в основном на две встроенные функции (s и k) и оператор аппликации (`). Уже это делает язык полным по Тьюрингу, но в нём также есть несколько функций ввода-вывода для возможности взаимодействия с пользователем, функция для ленивых вычислений и короткие эквиваленты некоторых функций.
Будучи эзотерическим языком программирования, Unlambda предназначена для демонстрации очень чистого функционального языка, а не для практического использования. Главная особенность — отсутствие обычных операторов и типов данных — функции от одного аргумента являются единственным типом данных. Несмотря на это, данные могут быть воспроизведены при помощи соответствующих функций, как в лямбда-исчислении. Функции нескольких аргументов могут быть представлены при помощи карринга.
Unlambda основана на принципе исключения абстракций (abstraction elimination) или исключения всех сохранённых переменных, включая функции. Как в чисто функциональном языке, в Unlambda функции не только являются объектами первого класса, но и единственными объектами первого рода.
Запись .x указывает на функцию, которая принимает один аргумент и возвращает его неизменным, также в качестве побочного эффекта печатая символ «x» при вызове. i представляет вариант тождественного отображения, у которой нет побочных эффектов и которая используется как фиктивный аргумент. Программа `.di применяет функцию .d, печатающую символ «d», к аргументу i, возвращая i и печатая «d» как побочный эффект. Аналогично ``.l.di сначала применяет .l к .d, печатая «l» и возвращая .d, которая потом применяется к i как в предыдущем примере. Функция r — синтаксический сахар к функции, печатающей символ новой строки.
Другие важные элементы Unlambda включают в себя функции k и s, двух и трёх аргументов соответственно (передаваемых при помощи карринга). k производит функции-константы: результат `kx — функция, при вызове возвращающая x. Так значением ``kxy будет x для любых x и y.
s — обобщённый оператор вычисления (evaluation operator). ```sxyz вычисляется в ``xz`yz при любых x, y и z. Примечательно, что s и k достаточно для произведения любых вычислений (подробнее см. SKI-исчисление). В качестве краткого примера можно привести, что функция отображения i может быть выражена как ``skk, так как ```skkx возвращает x при любом x.