Unlambda est un langage minimal de programmation fonctionnelle inventé par David Madore. Il est basé sur le principe de la
Logique combinatoire, une version du
Lambda-calcul qui omet l'opérateur lambda. Il repose principalement sur deux fonctions intégrées (
s et
k) et sur un opérateur « apply » (écrit
`, le guillemet inversé). Il constitue de ce fait un langage
Turing-complet et comporte en outre quelques fonctions d'E/S permettant une interaction avec l'utilisateur, diverses fonctions de raccourcis et une fonction d'évaluation paresseuse.
Lien externe