Concept

Unlambda

Résumé
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
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés

Chargement

Cours associés

Chargement

Séances de cours associées

Chargement