Unlambda
Langage de programmation
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.
Nº Q670180 ★
Commune · Savoirs
Unlambda
Langage de programmation
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.
Sur Wikipédia
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.
Texte : Wikipédia, CC BY-SA 4.0. ·
Cartes voisines
-
S
Système F
Lambda-calcul typé
Nº Q2552799 ★
Pas en vente
-
Agda
Langage de programmation
Nº Q20479 ★
Pas en vente
-
PureScript
Langage de programmation fonctionnel
Nº Q65082796 ★
Pas en vente
-
D (langage)
Langage de programmation
Nº Q319268 ★★
Pas en vente
-
C++
Langage de programmation
Nº Q2407 ★★★★
Pas en vente
-
Lambda-calcul
Système formel de la logique mathématique
Nº Q242028 ★★★
Pas en vente