Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/07034.jsonl.gz/153

Unlambda est un langage minimal de programmation fonctionnelle inventé par David Madore. Il est fondé 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.
Principes de base
En raison de sa nature de langage de programmation exotique, Unlambda est plus une démonstration de programmation fonctionnelle poussée à l’extrême qu’un langage utilisable à des fins pratiques. Sa caractéristique principale est son manque d’opérateurs conventionnels et de variables typées. Le seul type de données utilisable est constitué par des fonctions à un seul paramètre. L’utilisateur peut cependant simuler d’autres d