About: Unlambda

Property	Value
dbo:abstract	Unlambda（アンラムダ）はコンビネータ論理とラムダ計算に基づく、仕様の小さな、ほぼ純粋な関数型言語のプログラミング言語である。デビッド・マドレ(David Madore)によって設計された。 (ja) Unlambda（アンラムダ）はコンビネータ論理とラムダ計算に基づく、仕様の小さな、ほぼ純粋な関数型言語のプログラミング言語である。デビッド・マドレ(David Madore)によって設計された。 (ja)
dbo:latestReleaseVersion	2.0.0
dbo:wikiPageExternalLink	http://www.madore.org/~david/programs/unlambda/ http://www.cs.unc.edu/~stotts/144/lectures/lect28apr.pdf https://books.google.co.jp/books%3Fid=LlR6__OpAxoC&pg=PA205&dq=Unlambda&cd=2&redir_esc=y&hl=ja%23v=onepage&q=%22Unlambda%22&f=false https://osdn.net/projects/freshmeat_unlambda/
dbo:wikiPageID	2098353 (xsd:integer)
dbo:wikiPageLength	6441 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	92231973 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-ja:Category:難解プログラミング言語 dbpedia-ja:C言語 dbpedia-ja:Hello_world dbpedia-ja:Java dbpedia-ja:Lazy_K dbpedia-ja:ML_(プログラミング言語) dbpedia-ja:OCaml dbpedia-ja:Perl dbpedia-ja:SKIコンビネータ計算 dbpedia-ja:Scheme dbpedia-ja:Standard_ML dbpedia-ja:Category:プログラミング言語 dbpedia-ja:カリー化 dbpedia-ja:コンビネータ論理 dbpedia-ja:チューリング完全 dbpedia-ja:データ型 dbpedia-ja:プログラミング言語 dbpedia-ja:ラムダ計算 dbpedia-ja:不動点コンビネータ dbpedia-ja:先行評価 dbpedia-ja:入力 dbpedia-ja:演算子 dbpedia-ja:糖衣構文 dbpedia-ja:継続 dbpedia-ja:評価戦略 dbpedia-ja:遅延評価 dbpedia-ja:難解プログラミング言語 dbpedia-ja:関数型言語 dbpedia-ja:恒等関数 dbpedia-ja:Joy_(プログラミング言語) dbpedia-ja:Iota_(プログラミング言語) dbpedia-ja:Jot_(プログラミング言語)
prop-ja:designer	David Madore (ja) David Madore (ja)
prop-ja:implementations	unlambda (ja) unlambda (ja)
prop-ja:influenced	dbpedia-ja:Lazy_K
prop-ja:latestReleaseVersion	2 (xsd:integer)
prop-ja:name	Unlambda (ja) Unlambda (ja)
prop-ja:paradigm	dbpedia-ja:関数型言語
prop-ja:programmingLanguage	dbpedia-ja:C言語 dbpedia-ja:Java dbpedia-ja:OCaml dbpedia-ja:Perl dbpedia-ja:Scheme dbpedia-ja:Standard_ML
prop-ja:typing	なし (ja) なし (ja)
prop-ja:website	http://www.madore.org/~david/programs/unlambda/
prop-ja:wikiPageUsesTemplate	template-ja:Infobox_プログラミング言語 template-ja:Start_date_and_age template-ja:プログラミング言語 template-ja:Cite_book template-ja:Reflist template-ja:脚注ヘルプ
dct:subject	dbpedia-ja:Category:難解プログラミング言語 dbpedia-ja:Category:プログラミング言語
rdf:type	owl:Thing dbo:Language dbo:ProgrammingLanguage schema:Language wikidata:Q315 wikidata:Q9143
rdfs:comment	Unlambda（アンラムダ）はコンビネータ論理とラムダ計算に基づく、仕様の小さな、ほぼ純粋な関数型言語のプログラミング言語である。デビッド・マドレ(David Madore)によって設計された。 (ja) Unlambda（アンラムダ）はコンビネータ論理とラムダ計算に基づく、仕様の小さな、ほぼ純粋な関数型言語のプログラミング言語である。デビッド・マドレ(David Madore)によって設計された。 (ja)
rdfs:label	Unlambda (ja) Unlambda (ja)
owl:sameAs	freebase:Unlambda
prov:wasDerivedFrom	wikipedia-ja:Unlambda?oldid=92231973&ns=0
foaf:homepage	http://www.madore.org/~david/programs/unlambda/
foaf:isPrimaryTopicOf	wikipedia-ja:Unlambda
foaf:name	(ja) Unlambda (ja) (ja) Unlambda (ja)
is dbo:wikiPageWikiLink of	dbpedia-ja:SKIコンビネータ計算 dbpedia-ja:コンビネータ論理 dbpedia-ja:プログラミング言語一覧 dbpedia-ja:ラムダ計算 dbpedia-ja:関数型プログラミング dbpedia-ja:難解プログラミング言語
is owl:sameAs of	dbpedia-wikidata:Unlambda
is foaf:primaryTopic of	wikipedia-ja:Unlambda