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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
n22http://dbpedia.org/resource/OS/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
n19https://foldoc.org/
n29https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbpedia-ruhttp://ru.dbpedia.org/resource/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n36http://wiki.clean.cs.ru.nl/
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
dbpedia-fihttp://fi.dbpedia.org/resource/
n32http://tg.dbpedia.org/resource/
n20http://www.w3.org/2006/03/wn/wn20/instances/
n33http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n5https://
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbpedia-thhttp://th.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbpedia-rohttp://ro.dbpedia.org/resource/

Statements

Subject Item
dbr:Pure_(programming_language)
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Entry_point
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:List_of_functional_programming_topics
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:List_of_programming_languages
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:List_of_programming_languages_by_type
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Substructural_type_system
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:.abc_(Clean)
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
dbo:wikiPageRedirects
dbr:Clean_(programming_language)
Subject Item
dbr:Generic_programming
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Clean_(programming_language)
rdf:type
wikidata:Q315 yago:ArtificialLanguage106894544 yago:Language106282651 yago:Abstraction100002137 yago:Communication100033020 wikidata:Q9143 dbo:ProgrammingLanguage yago:ProgrammingLanguage106898352 dbo:Software dbo:Language yago:WikicatFunctionalLanguages schema:Language owl:Thing
rdfs:label
Clean Clean Clean Clean Clean 클린 (프로그래밍 언어) Clean (编程语言) Clean (programming language) Clean (programmeertaal) Clean (Programmiersprache)
rdfs:comment
Clean ist eine funktionale Programmiersprache. Clean zeichnet sich durch referenzielle Transparenz aus, was bedeutet, dass das Ergebnis eines Funktionsaufrufes nur von den Eingabeparametern abhängt. Bei gleichen Eingabeparametern erhält man also auch immer das gleiche Ergebnis. Clean hat ähnliche Eigenschaften wie die Programmiersprache Haskell.Auffälligster Unterschied ist die Verwendung von für die Ein- und Ausgabe anstelle einer Monade. Clean is a general-purpose purely functional computer programming language. It was called the Concurrent Clean System, then the Clean System, later just Clean. Clean has been developed by a group of researchers from the Radboud University in Nijmegen since 1987. Clean(クリーン)は、プログラミング言語の一つで、純粋関数型言語である。Haskell とよく似ている。 により、参照透過性を保ちつつ、ファイルの破壊的な更新などができる。これは、参照透過性を保つためには値を複製した上で結果として返す必要があるが、その後複製元を二度と使用しない(参照しない)ことが保証できるのであれば、わざわざ複製せずとも直接破壊的に値を更新しても構わない、という考え方に基づく。例えば、変数aに1を加算するには a = 1a2 = a + 1 のようにして、以降a2を使用する。もし今後もa = 1という前提で使用するならばこの方法しかないが、そうでなければaは無駄になる。しかし、プログラマはa = 1を二度と使用しないとわかっていても処理系にはわからない。それを処理系に知らせる手段が一意型(一意性型属性)である。処理系がa = 1という定義を二度と使用しないとわかりさえすればa2は不要となり、aを破壊的に更新していけばよい。無論a = 1であることを期待してaを使用すると期待通りに動かなくなるが、それは最初に処理系と交わした約束を破ったということにほかならず、コンパイラの型推論システムはaを一意型に型付けしない。つまり、aの管理はコンパイラの型推論システムが責任を持って行うことになる。 Clean é uma linguagem de programação funcional, baseada nos conceitos de funções matemáticas. Ela foi desenvolvida na Universidade de Nijmegen nos Países Baixos para o desenvolvimento de aplicações do mundo real (real-world applications).As expressões em Clean são formadas usando-se funções para combinar determinados valores. Uma função em Clean é referencialmente transparente, ou seja, seus resultados são dependentes dos valores de seus argumentos. 클린(Clean)은 범용 프로그래밍 언어이다. 언어의 활동적인 개발 역사 대부분에서 컨커런트 클린(Concurrent Clean)이라는 이름이 사용되었으나 어느 지점에서 이 이름의 사용은 중단되었다. 클린은 1987년 Nijmegen의 Radboud University의 연구원 단체에 의해 개발되었다. Clean is een functionele programmeertaal, ontwikkeld aan de Radboud Universiteit Nijmegen. Clean werd ontwikkeld voor het maken van praktische toepassingen. Een functionele programmeertaal betekent dat programma’s opgesteld worden in de vorm van een functie die toegepast wordt om een resultaat te vinden. Omdat Clean een functionele programmeertaal is, kan het gemakkelijker zijn om Clean aan te leren wanneer men al bekend is met algebra van de middelbare school. Clean heeft veel gelijkenissen met andere moderne functionele programmeertalen zoals , Haskell en ML. Clean is beschikbaar voor Windows, Linux en macOS. Clean je v informatice univerzální čistě funkcionální programovací jazyk, který je silně ovlivněn jazykem Haskell. Clean — чистый функциональный язык программирования, поддерживающий основные принципы парадигмы функционального программирования. Для вычислений использует традиционные математические способы вывода значений — унифицированную подстановку и математическую индукцию. Clean és un llenguatge de programació funcional pur, de (avaluació tardana: les expressions s'avaluen només quan se'n demana el valor), desenvolupat a la universitat Radboud de Nimega, Holanda. Clean,在開發期間稱為Concurrent Clean,是純函數式程序设计語言。Clean由荷蘭的奈梅亨拉德伯德大学自1987年开始製作和維護。
foaf:name
Clean
dbp:name
Clean
foaf:depiction
n33:Clean_3.0_(programming_language)_logo.svg
dct:subject
dbc:Term-rewriting_programming_languages dbc:Free_compilers_and_interpreters dbc:Cross-platform_free_software dbc:Functional_languages
dbo:wikiPageID
161878
dbo:wikiPageRevisionID
1095618827
dbo:wikiPageWikiLink
dbr:Algebraic_data_type dbr:Referential_transparency dbr:Uniqueness_type dbc:Term-rewriting_programming_languages dbr:Radboud_University dbr:IA-32 dbc:Free_compilers_and_interpreters dbr:Memory_address dbr:Garbage_collection_(computer_science) dbr:Transputer dbr:Runtime_system dbr:X86-64 dbr:Purely_functional_language dbr:SPARC dbr:Infix_notation dbr:Integrated_development_environment dbr:Oracle_Solaris dbr:Cons dbr:Microsoft_Windows dbr:AArch64 dbr:SAPL dbr:Glasgow_Haskell_Compiler dbr:Radboud_University_Nijmegen dbr:Currying dbr:Haskell_(programming_language) dbr:General-purpose_programming_language dbr:Cross-platform dbr:ObjectIO dbr:Linker_(computing) dbr:Static_typing dbr:Linux dbc:Cross-platform_free_software dbr:Functional_programming dbr:C_(programming_language) dbr:Windows dbr:Strong_typing n22:2 dbr:StdEnv dbr:Hello_world_program dbr:Graph_reduction dbr:Graph_rewriting dbr:Machine_code dbr:Motorola_68040 dbr:Imperative_programming dbr:Syntactic_sugar dbr:Pattern_matching dbr:Dynamic_typing dbr:List_comprehension dbr:Destructive_update dbr:Factorial dbr:PowerPC dbr:Idris_(programming_language) dbr:Higher_order_functions dbr:Simplified_BSD_License dbr:Monads_in_functional_programming dbr:Fibonacci_sequence dbr:Computer_programming_language dbr:Guard_(computing) dbr:Miranda_(programming_language) dbr:MacOS dbc:Functional_languages dbr:Lazy_evaluation dbr:SunOS dbr:The_Computer_Language_Benchmarks_Game dbr:I80386
dbo:wikiPageExternalLink
n5:clean-lang.org n5:cloogle.org n19:Lean n36:
owl:sameAs
dbpedia-th:คลีน_(ภาษาโปรแกรม) dbpedia-cs:Clean dbpedia-ru:Clean dbpedia-fi:Clean_(ohjelmointikieli) wikidata:Q377986 yago-res:Clean_(programming_language) dbpedia-pt:Clean dbpedia-zh:Clean_(编程语言) dbpedia-ca:Clean dbpedia-de:Clean_(Programmiersprache) n29:3V9Ex dbpedia-nl:Clean_(programmeertaal) dbpedia-ro:Clean_(limbaj_de_programare) n32:Clean freebase:m.015glf dbpedia-ko:클린_(프로그래밍_언어) dbpedia-ja:Clean
dbp:wikiPageUsesTemplate
dbt:Date_table_sorting dbt:Yes dbt:Reflist dbt:Infobox_programming_language dbt:URL dbt:No dbt:Start_date_and_age
dbo:thumbnail
n33:Clean_3.0_(programming_language)_logo.svg?width=300
dbp:designer
Software Technology Research Group of Radboud University Nijmegen
dbp:influenced
dbr:Haskell_(programming_language) dbr:Idris_(programming_language)
dbp:influencedBy
Lean, Miranda, Haskell
dbp:latestReleaseDate
2022-01-05
dbp:latestReleaseVersion
3.1
dbp:license
dbr:Simplified_BSD_License
dbp:logo
Clean_3.0__logo.svg
dbp:operatingSystem
dbr:Cross-platform
dbp:paradigm
dbr:Functional_programming
dbp:typing
dbr:Static_typing dbr:Strong_typing dbr:Dynamic_typing
dbo:abstract
Clean — чистый функциональный язык программирования, поддерживающий основные принципы парадигмы функционального программирования. Для вычислений использует традиционные математические способы вывода значений — унифицированную подстановку и математическую индукцию. Clean(クリーン)は、プログラミング言語の一つで、純粋関数型言語である。Haskell とよく似ている。 により、参照透過性を保ちつつ、ファイルの破壊的な更新などができる。これは、参照透過性を保つためには値を複製した上で結果として返す必要があるが、その後複製元を二度と使用しない(参照しない)ことが保証できるのであれば、わざわざ複製せずとも直接破壊的に値を更新しても構わない、という考え方に基づく。例えば、変数aに1を加算するには a = 1a2 = a + 1 のようにして、以降a2を使用する。もし今後もa = 1という前提で使用するならばこの方法しかないが、そうでなければaは無駄になる。しかし、プログラマはa = 1を二度と使用しないとわかっていても処理系にはわからない。それを処理系に知らせる手段が一意型(一意性型属性)である。処理系がa = 1という定義を二度と使用しないとわかりさえすればa2は不要となり、aを破壊的に更新していけばよい。無論a = 1であることを期待してaを使用すると期待通りに動かなくなるが、それは最初に処理系と交わした約束を破ったということにほかならず、コンパイラの型推論システムはaを一意型に型付けしない。つまり、aの管理はコンパイラの型推論システムが責任を持って行うことになる。 Clean is a general-purpose purely functional computer programming language. It was called the Concurrent Clean System, then the Clean System, later just Clean. Clean has been developed by a group of researchers from the Radboud University in Nijmegen since 1987. 클린(Clean)은 범용 프로그래밍 언어이다. 언어의 활동적인 개발 역사 대부분에서 컨커런트 클린(Concurrent Clean)이라는 이름이 사용되었으나 어느 지점에서 이 이름의 사용은 중단되었다. 클린은 1987년 Nijmegen의 Radboud University의 연구원 단체에 의해 개발되었다. Clean és un llenguatge de programació funcional pur, de (avaluació tardana: les expressions s'avaluen només quan se'n demana el valor), desenvolupat a la universitat Radboud de Nimega, Holanda. Clean,在開發期間稱為Concurrent Clean,是純函數式程序设计語言。Clean由荷蘭的奈梅亨拉德伯德大学自1987年开始製作和維護。 Clean é uma linguagem de programação funcional, baseada nos conceitos de funções matemáticas. Ela foi desenvolvida na Universidade de Nijmegen nos Países Baixos para o desenvolvimento de aplicações do mundo real (real-world applications).As expressões em Clean são formadas usando-se funções para combinar determinados valores. Uma função em Clean é referencialmente transparente, ou seja, seus resultados são dependentes dos valores de seus argumentos. Clean je v informatice univerzální čistě funkcionální programovací jazyk, který je silně ovlivněn jazykem Haskell. Clean ist eine funktionale Programmiersprache. Clean zeichnet sich durch referenzielle Transparenz aus, was bedeutet, dass das Ergebnis eines Funktionsaufrufes nur von den Eingabeparametern abhängt. Bei gleichen Eingabeparametern erhält man also auch immer das gleiche Ergebnis. Clean hat ähnliche Eigenschaften wie die Programmiersprache Haskell.Auffälligster Unterschied ist die Verwendung von für die Ein- und Ausgabe anstelle einer Monade. Clean is een functionele programmeertaal, ontwikkeld aan de Radboud Universiteit Nijmegen. Clean werd ontwikkeld voor het maken van praktische toepassingen. Een functionele programmeertaal betekent dat programma’s opgesteld worden in de vorm van een functie die toegepast wordt om een resultaat te vinden. Omdat Clean een functionele programmeertaal is, kan het gemakkelijker zijn om Clean aan te leren wanneer men al bekend is met algebra van de middelbare school. Clean heeft veel gelijkenissen met andere moderne functionele programmeertalen zoals , Haskell en ML. Clean is beschikbaar voor Windows, Linux en macOS.
dbp:fileExt
.icl, .dcl, .abc
dbp:wordnet_type
n20:synset-programming_language-noun-1
prov:wasDerivedFrom
wikipedia-en:Clean_(programming_language)?oldid=1095618827&ns=0
dbo:wikiPageLength
15746
dbo:latestReleaseDate
2022-01-05
dbo:latestReleaseVersion
3.1
dbo:designer
dbr:Radboud_University_Nijmegen
dbo:influenced
dbr:Haskell_(programming_language) dbr:Idris_(programming_language)
dbo:influencedBy
dbr:Haskell_(programming_language) n19:Lean dbr:Miranda_(programming_language)
dbo:license
dbr:Simplified_BSD_License
foaf:isPrimaryTopicOf
wikipedia-en:Clean_(programming_language)
Subject Item
dbr:Miranda_(programming_language)
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
dbp:influenced
dbr:Clean_(programming_language)
dbo:influenced
dbr:Clean_(programming_language)
Subject Item
dbr:Modulo_operation
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Strict_programming_language
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Comparison_of_functional_programming_languages
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Comparison_of_programming_languages
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Comparison_of_programming_languages_by_type_system
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Functional_programming
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Clean
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
dbo:wikiPageDisambiguates
dbr:Clean_(programming_language)
Subject Item
dbr:Clean_programming_language
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
dbo:wikiPageRedirects
dbr:Clean_(programming_language)
Subject Item
dbr:Timeline_of_programming_languages
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Type_system
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:DCL
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Algebraic_data_type
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Foreign_function_interface
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:History_of_software
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Type_class
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Haskell
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
dbo:influenced
dbr:Clean_(programming_language)
dbo:influencedBy
dbr:Clean_(programming_language)
Subject Item
dbr:Finalizer
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:ISWIM
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
dbp:influenced
dbr:Clean_(programming_language)
dbo:influenced
dbr:Clean_(programming_language)
Subject Item
dbr:Idris_(programming_language)
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
dbp:influencedBy
dbr:Clean_(programming_language)
dbo:influencedBy
dbr:Clean_(programming_language)
Subject Item
dbr:ICL
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Type_inference
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Uniqueness_type
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
Subject Item
dbr:Concurrent_Clean
dbo:wikiPageWikiLink
dbr:Clean_(programming_language)
dbo:wikiPageRedirects
dbr:Clean_(programming_language)
Subject Item
wikipedia-en:Clean_(programming_language)
foaf:primaryTopic
dbr:Clean_(programming_language)