This HTML5 document contains 16 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n10http://www.madore.org/~david/programs/unlambda/
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://hu.dbpedia.org/resource/Sablon:
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n8http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Unlambda
rdfs:label
Unlambda
owl:sameAs
freebase:m.012ryn
dct:subject
n8:Funkcionális_programozási_nyelvek n8:Ezoterikus_programozási_nyelvek
dbo:wikiPageID
81560
dbo:wikiPageRevisionID
18524361
dbo:wikiPageExternalLink
n10:
prop-hu:wikiPageUsesTemplate
n4:Portál n4:Csonk-dátum
dbo:abstract
Az Unlambda egy által kifejlesztett funkcionális programozási nyelv, amely a lambda-kalkuluson alapul, ugyanakkor nem tartalmazza a lambda operátort, ehelyett kombinátorokat használ. Az ezoterikus programozási nyelvek közé sorolható, mivel a lambda-kalkulus és a kombinátorok használata nem elterjedt a hétköznapi életben. A nyelv alapját hét primitív függvény és az alkalmazás/applikáció művelete alkotja. Az alkalmazás operátor jele `, a függvények a következők: s, k, i, v, d, c és .x, ahol az x helyén tetszőleges betű állhat (ez egy függvénynek számít) és az r függvény (egy .x szinonima, az x helyén az újsor karakter áll). Az unlambda nyelv 2. változatában ezen kívül 4 újabb primitív függvény található ( e, @, ?x, | ). A nyelv tartalmaz még be- és kimeneti funkciókat is, így teljes értékű és használható programnyelv. Ez a nyelv állítólag Turing-teljes (Turing-ekvivalens) – amennyiben a lambda-kalkulus is az (ui. eddig nem sikerült formálisan bizonyítani a Turing-gép és a lambda-kalkulus ekvivalenciáját, azaz hogy a Turing-gépen megvalósítható algoritmusok minden esetben megvalósíthatóak tisztán lambda-kalkulusban is). Az ezoterikus programnyelvek közé sorolják. Hello World program megvalósítása unlambda nyelven: `r```````````.H.e.l.l.o. .w.o.r.l.di
prov:wasDerivedFrom
wikipedia-hu:Unlambda?oldid=18524361&ns=0
dbo:wikiPageLength
2562
foaf:isPrimaryTopicOf
wikipedia-hu:Unlambda
Subject Item
dbpedia-hu:UnLambda
dbo:wikiPageRedirects
dbpedia-hu:Unlambda
Subject Item
dbpedia-hu:UnLambda_programozási_nyelv
dbo:wikiPageRedirects
dbpedia-hu:Unlambda
Subject Item
wikipedia-hu:Unlambda
foaf:primaryTopic
dbpedia-hu:Unlambda