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 (é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 données en appelant des fonctions adéquates, comme en lambda-calcul. Les fonctions à plusieurs paramètres peuvent être représentées grâce à la technique de la curryfication.

Le langage Unlambda s’appuie sur les principes de la logique combinatoire, notamment en ce qui concerne l’élimination de toutes les variables en mémoire ainsi que des fonctions. Comme il s’agit d’un langage purement fonctionnel, non seulement les fonctions d’Unlambda sont des objets de première classe, mais ce sont de plus les seuls.

Une version du Hello world en Unlambda peut être : `r```````````.H.e.l.l.o. .w.o.r.l.di

Fonctions internes La notation indique une fonction prenant un argument et le retournant inchangé, avec pour effet secondaire d’afficher le caractère x lorsqu’on l’appelle. est une version de la fonction identité qui ne présente pas cet effet secondaire. On l’utilise donc comme un paramètre fictif. Le code applique l’affichage de à l’argument fictif , renvoie et affiche ce faisant. De façon similaire, applique d’abord à , affichant et retournant , qui est ensuite appliqué à comme dans l’exemple précédent. La fonction est une forme de sucre syntaxique qui permet d’afficher un saut de ligne.

Parmi les autres fonctions importantes d’Unlambda, on retrouve les fonctions et . permet de fabriquer des fonctions constantes : ainsi retourne x quand elle est appelée, et retourne toujours x, quels que soient x et y.

est un opérateur d’évaluation généralisé. est évalué comme pour tout x, y et z. Il est remarquable que les fonctions et soient suffisantes pour effectuer n’importe quel calcul, comme montré par l’ordinateur combinatoire SKI. On peut citer en exemple une implémentation de la fonction par , puisque retourne x pour tout x.

Le flux de contrôle d’Unlambda est l’appel avec continuation courante, noté . Quand une expression de la forme est évaluée, un objet spécial de continuation est construit, qui représente l’état de l’interpréteur à ce moment précis. x est ensuite évalué, et le résultat est donné à la continuation comme argument. Si la continuation ne reçoit pas d’argument, la valeur de l’expression est identique à celle de x. Mais si la continuation reçoit une valeur y, l’exécution de x est arrêtée, et la valeur de toute l’expression est y.

Bien que l’évaluation d’Unlambda soit normalement stricte, l’opérateur active une option d’évaluation paresseuse. Usuellement, pour évaluer une expression de la forme , Unlambda évalue en premier x, puis y, puis applique x à y. Cependant, si x a pour valeur , y n’est pas évalué ; à la place, la valeur de l’expression devient un objet spécial de continuation retardée qui, appliqué à un objet z, évalue y, puis l’applique à z. On note qu’en l’absence d’effets secondaires, c’est équivalent à . La différence est que exécute tout de suite les effets secondaires, tandis que les retarde jusqu’à l’application du résultat à un autre argument.

Notes et références

Liens externes

Catégorie:Langage de programmation exotique Catégorie:Langage fonctionnel