Unlambda
- Unlambda
-
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.
Lien externe
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Unlambda de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Unlambda — is a minimal functional programming language invented by David Madore. It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator. It relies mainly on two built in functions ( s and k ) and an apply operator … Wikipedia
Unlambda — Unlambda минимальный функциональный язык программирования, придуманный Дэвидом Мэдором (David Madore). Он основан на комбинаторной логике, варианте Лямбда исчисления, который опускает оператор lambda. Язык полагается в основном на две… … Википедия
Unlambda — es un lenguaje de programación inventado por David Madore. Este lenguaje es producto de la intersección entre dos lenguajes de programación marginales . Lenguajes de programación ofuscados o lenguaje de programación esotérico, de los cuales el… … Wikipedia Español
Unlambda — es un lenguaje de programación inventado por David Madore. Este lenguaje es producto de la intersección entre dos lenguajes de programación marginales . ● Lenguajes de programación ofuscados, de los cuales el representante canónico es Intercal.… … Enciclopedia Universal
Liste von Hallo-Welt-Programmen/Sonstige — Dies ist eine Liste von Hallo Welt Programmen für grafische Benutzeroberflächen, Web Technologien, exotische Programmiersprachen und Textauszeichnungssprachen. Weitere Beispiele für gebräuchliche Programmiersprachen sind unter Liste von Hallo… … Deutsch Wikipedia
Lisp machine — Lisp machines were general purpose computers designed (usually through hardware support) to efficiently run Lisp as their main software language. In a sense, they were the first commercial single user workstations. Despite being modest in number… … Wikipedia
Open Genera — Firmenlogo Symbolics Inc. war ein US amerikanisches Computer Unternehmen. Es war vor allem für die Entwicklung und den Vertrieb von Lisp Maschinen – speziellen Computern zum Ausführen der Programmiersprache LISP – in den 1980er und 1990er Jahren… … Deutsch Wikipedia
Symbolics Inc. — Firmenlogo Symbolics Inc. war ein US amerikanisches Computer Unternehmen. Es war vor allem für die Entwicklung und den Vertrieb von Lisp Maschinen – speziellen Computern zum Ausführen der Programmiersprache LISP – in den 1980er und 1990er Jahren… … Deutsch Wikipedia
Quine (Informatique) — Pour les articles homonymes, voir Quine. Un quine en informatique est un programme (une sorte de métaprogramme) dont la sortie et le code source sont identiques. À titre de défi ou d amusement, certains programmeurs essaient d écrire le plus… … Wikipédia en Français
Quine (informatique) — Pour les articles homonymes, voir Quine. Un quine en informatique est un programme (une sorte de métaprogramme) dont la sortie et le code source sont identiques. À titre de défi ou d amusement, certains programmeurs essaient d écrire le plus… … Wikipédia en Français
