Unlambda (original) (raw)
Unlambda es un lenguaje de programación inventado por .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 representante canónico es INTERCAL. Esto significa que este lenguaje fue diseñado para hacer la programación difícil y sufrida. * Lenguajes de programación funcional, de los cuales el representante canónico es Scheme (un dialecto de Lisp). Esto significa que el único objeto manipulado por el lenguaje es la función.
| Property | Value |
|---|---|
| dbo:abstract | Unlambda es un lenguaje de programación inventado por .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 representante canónico es INTERCAL. Esto significa que este lenguaje fue diseñado para hacer la programación difícil y sufrida. * Lenguajes de programación funcional, de los cuales el representante canónico es Scheme (un dialecto de Lisp). Esto significa que el único objeto manipulado por el lenguaje es la función. (es) Unlambda David Madore-k asmatutako programazio lengoaia da. Lengoaia hau bi programazio lengoaia baztertuen arteko elkargunea da. * Programazio lengoaia esoterikoak, horietatik ordezkari kanonikoa INTERCAL dena. Honek esan nahi du programazioa zaila eta jasankorra izango dela. * , horietatik ordezkari kanonikoa delarik (Lisp-en dialektoa). Honek esan nahi du lengoaiak maneiatzen duen objektu bakarra funtzioa dela. (eu) 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. (fr) Unlambda is a minimal, "nearly pure" functional programming language invented by David Madore. It is based on combinatory logic, an expression system without the lambda operator or free variables. It relies mainly on two built-in functions (s and k) and an apply operator (written `, the backquote character). These alone make it Turing-complete, but there are also some input/output (I/O) functions to enable interacting with the user, some shortcut functions, and a lazy evaluation function. Variables are unsupported. Unlambda is free and open-source software distributed under a GNU General Public License (GPL) 2.0 or later. (en) Unlambda（アンラムダ）はコンビネータ論理とラムダ計算に基づく、仕様の小さな、ほぼ純粋な関数型言語のプログラミング言語である。デビッド・マドレ(David Madore)によって設計された。 (ja) Unlambda é uma linguagem de programação esotérica inventada por David Madore, baseada em lógica combinatória: uma versão do cálculo lambda que omite o operador lambda. Na linguagem, há duas funções pré-determinadas, s e k, e um operador de "aplicação" (`, o caractere de acento grave). Essas funções tornam a linguagem Turing-completa, mas também há operadores de entrada e saída para possibilitar interação com o usuário, algumas funções de atalho e uma função para avaliação preguiçosa. (pt) Unlambda - minimalistyczny język funkcyjny, w którym funkcje wbudowane, oznaczane jedną literą, są jedynymi poprawnymi i pełnoprawnymi obiektami. Jest zaliczany do tzw. języków ezoterycznych i jest kompletny w sensie Turinga (niektórzy uważają, że jest to funkcyjna wersja języka Brainfuck). (pl) Unlambda — минимальный функциональный язык программирования, придуманный Дэвидом Мэдором (David Madore). Он основан на комбинаторной логике, варианте лямбда-исчисления, который опускает оператор lambda. Язык полагается в основном на две встроенные функции (s и k) и оператор аппликации (`). Уже это делает язык полным по Тьюрингу, но в нём также есть несколько функций ввода-вывода для возможности взаимодействия с пользователем, функция для ленивых вычислений и короткие эквиваленты некоторых функций. Будучи эзотерическим языком программирования, Unlambda предназначена для демонстрации очень чистого функционального языка, а не для практического использования. Главная особенность — отсутствие обычных операторов и типов данных — функции от одного аргумента являются единственным типом данных. Несмотря на это, данные могут быть воспроизведены при помощи соответствующих функций, как в лямбда-исчислении. Функции нескольких аргументов могут быть представлены при помощи карринга. Unlambda основана на принципе исключения абстракций (abstraction elimination) или исключения всех сохранённых переменных, включая функции. Как в чисто функциональном языке, в Unlambda функции не только являются объектами первого класса, но и единственными объектами первого рода. (ru) |
| dbo:latestReleaseDate | 1999-12-20 (xsd:date) |
| dbo:latestReleaseVersion | 2.0.0 |
| dbo:license | dbr:GNU_General_Public_License |
| dbo:releaseDate | 1999-06-28 (xsd:date) |
| dbo:wikiPageExternalLink | http://repl.it/%23:languages http://www.cs.unc.edu/~stotts/144/lectures/lect28apr.pdf https://books.google.com/books%3Fid=LlR6__OpAxoC&dq=%22Unlambda%22&pg=PA205 |
| dbo:wikiPageID | 146927 (xsd:integer) |
| dbo:wikiPageLength | 8647 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1079115843 (xsd:integer) |
| dbo:wikiPageWikiLink | dbc:Esoteric_programming_languages dbr:Scheme_(programming_language) dbr:Currying dbr:Input/output dbc:Functional_languages dbr:Combinatory_logic dbr:Esoteric_programming_language dbr:Free_and_open-source_software dbr:GNU_General_Public_License dbr:Functional_programming dbr:Backquote dbr:C_(programming_language) dbr:Type_system dbr:Eager_evaluation dbr:Lazy_evaluation dbr:Abstraction_elimination dbr:Functional_programming_language dbr:Fixed_point_combinator dbr:Purely_functional_programming dbr:Iota_and_Jot dbr:Java_(programming_language) dbr:Lambda_calculus dbr:Syntactic_sugar dbr:Hello_world_program dbr:SKI_combinator_calculus dbr:Turing-complete dbr:First-class_object dbr:Call_with_current_continuation dbr:Purely_functional_language |
| dbp:designer | David Madore (en) |
| dbp:developer | David Madore (en) |
| dbp:latestReleaseDate | 1999-12-20 (xsd:date) |
| dbp:latestReleaseVersion | 2 (xsd:integer) |
| dbp:license | GPL 2.0 or later (en) |
| dbp:name | Unlambda (en) |
| dbp:paradigm | Nearly pure functional (en) |
| dbp:programmingLanguage | dbr:Scheme_(programming_language) dbr:C_(programming_language) dbr:Java_(programming_language) |
| dbp:released | 1999-06-28 (xsd:date) |
| dbp:typing | dbr:Type_system |
| dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:Clarify dbt:Infobox_programming_language dbt:Official_website dbt:Refimprove dbt:Reflist dbt:Short_description dbt:Start_date_and_age dbt:URL |
| dcterms:subject | dbc:Esoteric_programming_languages dbc:Functional_languages |
| rdf:type | owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 yago:Abstraction100002137 yago:Communication100033020 yago:Language106282651 yago:WikicatFunctionalLanguages dbo:ProgrammingLanguage |
| rdfs:comment | Unlambda es un lenguaje de programación inventado por .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 representante canónico es INTERCAL. Esto significa que este lenguaje fue diseñado para hacer la programación difícil y sufrida. * Lenguajes de programación funcional, de los cuales el representante canónico es Scheme (un dialecto de Lisp). Esto significa que el único objeto manipulado por el lenguaje es la función. (es) Unlambda David Madore-k asmatutako programazio lengoaia da. Lengoaia hau bi programazio lengoaia baztertuen arteko elkargunea da. * Programazio lengoaia esoterikoak, horietatik ordezkari kanonikoa INTERCAL dena. Honek esan nahi du programazioa zaila eta jasankorra izango dela. * , horietatik ordezkari kanonikoa delarik (Lisp-en dialektoa). Honek esan nahi du lengoaiak maneiatzen duen objektu bakarra funtzioa dela. (eu) 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. (fr) Unlambda（アンラムダ）はコンビネータ論理とラムダ計算に基づく、仕様の小さな、ほぼ純粋な関数型言語のプログラミング言語である。デビッド・マドレ(David Madore)によって設計された。 (ja) Unlambda é uma linguagem de programação esotérica inventada por David Madore, baseada em lógica combinatória: uma versão do cálculo lambda que omite o operador lambda. Na linguagem, há duas funções pré-determinadas, s e k, e um operador de "aplicação" (`, o caractere de acento grave). Essas funções tornam a linguagem Turing-completa, mas também há operadores de entrada e saída para possibilitar interação com o usuário, algumas funções de atalho e uma função para avaliação preguiçosa. (pt) Unlambda - minimalistyczny język funkcyjny, w którym funkcje wbudowane, oznaczane jedną literą, są jedynymi poprawnymi i pełnoprawnymi obiektami. Jest zaliczany do tzw. języków ezoterycznych i jest kompletny w sensie Turinga (niektórzy uważają, że jest to funkcyjna wersja języka Brainfuck). (pl) Unlambda is a minimal, "nearly pure" functional programming language invented by David Madore. It is based on combinatory logic, an expression system without the lambda operator or free variables. It relies mainly on two built-in functions (s and k) and an apply operator (written `, the backquote character). These alone make it Turing-complete, but there are also some input/output (I/O) functions to enable interacting with the user, some shortcut functions, and a lazy evaluation function. Variables are unsupported. (en) Unlambda — минимальный функциональный язык программирования, придуманный Дэвидом Мэдором (David Madore). Он основан на комбинаторной логике, варианте лямбда-исчисления, который опускает оператор lambda. Язык полагается в основном на две встроенные функции (s и k) и оператор аппликации (`). Уже это делает язык полным по Тьюрингу, но в нём также есть несколько функций ввода-вывода для возможности взаимодействия с пользователем, функция для ленивых вычислений и короткие эквиваленты некоторых функций. (ru) |
| rdfs:label | Unlambda (eu) Unlambda (es) Unlambda (fr) Unlambda (ja) Unlambda (pl) Unlambda (ru) Unlambda (pt) Unlambda (en) |
| owl:sameAs | freebase:Unlambda yago-res:Unlambda wikidata:Unlambda dbpedia-es:Unlambda dbpedia-et:Unlambda dbpedia-eu:Unlambda dbpedia-fr:Unlambda dbpedia-hu:Unlambda dbpedia-ja:Unlambda dbpedia-pl:Unlambda dbpedia-pt:Unlambda dbpedia-ru:Unlambda dbpedia-sr:Unlambda https://global.dbpedia.org/id/4r4Ep |
| prov:wasDerivedFrom | wikipedia-en:Unlambda?oldid=1079115843&ns=0 |
| foaf:homepage | http://www.madore.org/~david/programs/unlambda |
| foaf:isPrimaryTopicOf | wikipedia-en:Unlambda |
| foaf:name | Unlambda (en) |
| is dbo:wikiPageRedirects of | dbr:Unlambda_programming_language dbr:.unl dbr:UnLamda_programming_language |
| is dbo:wikiPageWikiLink of | dbr:Combinatory_logic dbr:Esoteric_programming_language dbr:Continuation dbr:Call-with-current-continuation dbr:Backtick dbr:Parrot_virtual_machine dbr:Joy_(programming_language) dbr:Procedural_programming dbr:Quine_(computing) dbr:Lambda_calculus dbr:Categorical_abstract_machine dbr:SKI_combinator_calculus dbr:Unlambda_programming_language dbr:.unl dbr:UnLamda_programming_language |
| is foaf:primaryTopic of | wikipedia-en:Unlambda |