http://dbpedia.org/ontology/abstract
|
Unlambda es un lenguaje de programación in … 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. manipulado por el lenguaje es la función.
, Unlambda David Madore-k asmatutako program … 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.iatzen duen objektu bakarra funtzioa dela.
, Unlambda est un langage minimal de program … 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.s et une fonction d'évaluation paresseuse.
, Unlambda é uma linguagem de programação es … 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.ho e uma função para avaliação preguiçosa.
, Unlambda — минимальный функциональный язык … Unlambda — минимальный функциональный язык программирования, придуманный Дэвидом Мэдором (David Madore). Он основан на комбинаторной логике, варианте лямбда-исчисления, который опускает оператор lambda. Язык полагается в основном на две встроенные функции (s и k) и оператор аппликации (`). Уже это делает язык полным по Тьюрингу, но в нём также есть несколько функций ввода-вывода для возможности взаимодействия с пользователем, функция для ленивых вычислений и короткие эквиваленты некоторых функций. Будучи эзотерическим языком программирования, Unlambda предназначена для демонстрации очень чистого функционального языка, а не для практического использования. Главная особенность — отсутствие обычных операторов и типов данных — функции от одного аргумента являются единственным типом данных. Несмотря на это, данные могут быть воспроизведены при помощи соответствующих функций, как в лямбда-исчислении. Функции нескольких аргументов могут быть представлены при помощи карринга. Unlambda основана на принципе исключения абстракций (abstraction elimination) или исключения всех сохранённых переменных, включая функции. Как в чисто функциональном языке, в Unlambda функции не только являются объектами первого класса, но и единственными объектами первого рода.но и единственными объектами первого рода.
, Unlambda(アンラムダ)はコンビネータ論理とラムダ計算に基づく、仕様の小さな、ほぼ純粋な関数型言語のプログラミング言語である。デビッド・マドレ(David Madore)によって設計された。
, Unlambda - minimalistyczny język funkcyjny … 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).est to funkcyjna wersja języka Brainfuck).
, Unlambda is a minimal, "nearly pure" funct … 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.General Public License (GPL) 2.0 or later.
|
http://dbpedia.org/ontology/latestReleaseDate
|
"1999-12-20"^^xsd:date
|
http://dbpedia.org/ontology/latestReleaseVersion
|
2.0.0
|
http://dbpedia.org/ontology/license
|
http://dbpedia.org/resource/GNU_General_Public_License +
|
http://dbpedia.org/ontology/releaseDate
|
"1999-06-28"^^xsd:date
|
http://dbpedia.org/ontology/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 +
|
http://dbpedia.org/ontology/wikiPageID
|
146927
|
http://dbpedia.org/ontology/wikiPageLength
|
8647
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1079115843
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Scheme_%28programming_language%29 +
, http://dbpedia.org/resource/Esoteric_programming_language +
, http://dbpedia.org/resource/Category:Esoteric_programming_languages +
, http://dbpedia.org/resource/Type_system +
, http://dbpedia.org/resource/Functional_programming +
, http://dbpedia.org/resource/Input/output +
, http://dbpedia.org/resource/Purely_functional_programming +
, http://dbpedia.org/resource/First-class_object +
, http://dbpedia.org/resource/Combinatory_logic +
, http://dbpedia.org/resource/Iota_and_Jot +
, http://dbpedia.org/resource/Hello_world_program +
, http://dbpedia.org/resource/Syntactic_sugar +
, http://dbpedia.org/resource/GNU_General_Public_License +
, http://dbpedia.org/resource/Backquote +
, http://dbpedia.org/resource/Functional_programming_language +
, http://dbpedia.org/resource/Java_%28programming_language%29 +
, http://dbpedia.org/resource/Lazy_evaluation +
, http://dbpedia.org/resource/Free_and_open-source_software +
, http://dbpedia.org/resource/Eager_evaluation +
, http://dbpedia.org/resource/Purely_functional_language +
, http://dbpedia.org/resource/Lambda_calculus +
, http://dbpedia.org/resource/Turing-complete +
, http://dbpedia.org/resource/C_%28programming_language%29 +
, http://dbpedia.org/resource/Abstraction_elimination +
, http://dbpedia.org/resource/Currying +
, http://dbpedia.org/resource/Call_with_current_continuation +
, http://dbpedia.org/resource/SKI_combinator_calculus +
, http://dbpedia.org/resource/Fixed_point_combinator +
, http://dbpedia.org/resource/Category:Functional_languages +
|
http://dbpedia.org/property/designer
|
David Madore
|
http://dbpedia.org/property/developer
|
David Madore
|
http://dbpedia.org/property/latestReleaseDate
|
"1999-12-20"^^xsd:date
|
http://dbpedia.org/property/latestReleaseVersion
|
2
|
http://dbpedia.org/property/license
|
GPL 2.0 or later
|
http://dbpedia.org/property/name
|
Unlambda
|
http://dbpedia.org/property/paradigm
|
Nearly pure functional
|
http://dbpedia.org/property/programmingLanguage
|
http://dbpedia.org/resource/C_%28programming_language%29 +
, http://dbpedia.org/resource/Scheme_%28programming_language%29 +
, http://dbpedia.org/resource/Java_%28programming_language%29 +
|
http://dbpedia.org/property/released
|
"1999-06-28"^^xsd:date
|
http://dbpedia.org/property/typing
|
http://dbpedia.org/resource/Type_system +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Infobox_programming_language +
, http://dbpedia.org/resource/Template:Clarify +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Official_website +
, http://dbpedia.org/resource/Template:Start_date_and_age +
, http://dbpedia.org/resource/Template:Refimprove +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:URL +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Functional_languages +
, http://dbpedia.org/resource/Category:Esoteric_programming_languages +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Unlambda?oldid=1079115843&ns=0 +
|
http://xmlns.com/foaf/0.1/homepage
|
http://www.madore.org/~david/programs/unlambda +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Unlambda +
|
http://xmlns.com/foaf/0.1/name
|
Unlambda
|
owl:sameAs |
http://www.wikidata.org/entity/Q670180 +
, https://global.dbpedia.org/id/4r4Ep +
, http://eu.dbpedia.org/resource/Unlambda +
, http://dbpedia.org/resource/Unlambda +
, http://es.dbpedia.org/resource/Unlambda +
, http://pt.dbpedia.org/resource/Unlambda +
, http://et.dbpedia.org/resource/Unlambda +
, http://sr.dbpedia.org/resource/%D0%A3%D0%BD%D0%BB%D0%B0%D0%BC%D0%B1%D0%B4%D0%B0 +
, http://rdf.freebase.com/ns/m.012ryn +
, http://fr.dbpedia.org/resource/Unlambda +
, http://yago-knowledge.org/resource/Unlambda +
, http://pl.dbpedia.org/resource/Unlambda +
, http://ja.dbpedia.org/resource/Unlambda +
, http://hu.dbpedia.org/resource/Unlambda +
, http://ru.dbpedia.org/resource/Unlambda +
|
rdf:type |
http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://www.wikidata.org/entity/Q9143 +
, http://dbpedia.org/class/yago/WikicatFunctionalLanguages +
, http://dbpedia.org/ontology/Language +
, http://dbpedia.org/ontology/ProgrammingLanguage +
, http://dbpedia.org/class/yago/Language106282651 +
, http://schema.org/Language +
, http://www.wikidata.org/entity/Q315 +
|
rdfs:comment |
Unlambda — минимальный функциональный язык … Unlambda — минимальный функциональный язык программирования, придуманный Дэвидом Мэдором (David Madore). Он основан на комбинаторной логике, варианте лямбда-исчисления, который опускает оператор lambda. Язык полагается в основном на две встроенные функции (s и k) и оператор аппликации (`). Уже это делает язык полным по Тьюрингу, но в нём также есть несколько функций ввода-вывода для возможности взаимодействия с пользователем, функция для ленивых вычислений и короткие эквиваленты некоторых функций. и короткие эквиваленты некоторых функций.
, Unlambda est un langage minimal de program … 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.s et une fonction d'évaluation paresseuse.
, Unlambda David Madore-k asmatutako program … 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.iatzen duen objektu bakarra funtzioa dela.
, Unlambda é uma linguagem de programação es … 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.ho e uma função para avaliação preguiçosa.
, Unlambda(アンラムダ)はコンビネータ論理とラムダ計算に基づく、仕様の小さな、ほぼ純粋な関数型言語のプログラミング言語である。デビッド・マドレ(David Madore)によって設計された。
, Unlambda is a minimal, "nearly pure" funct … 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.ation function. Variables are unsupported.
, Unlambda - minimalistyczny język funkcyjny … 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).est to funkcyjna wersja języka Brainfuck).
, Unlambda es un lenguaje de programación in … 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. manipulado por el lenguaje es la función.
|
rdfs:label |
Unlambda
|