In computer science, Clean is a general-purpose purely functional computer programming language. For much of the language's active development history it was called Concurrent Clean, but this was dropped at some point.

Property Value
dbo:abstract
  • In computer science, Clean is a general-purpose purely functional computer programming language. For much of the language's active development history it was called Concurrent Clean, but this was dropped at some point. (en)
  • 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 uniqueness typing für die Ein- und Ausgabe anstelle einer Monade. (de)
  • 一意型により、参照透過性を保ちつつ、ファイルの破壊的な更新などができる。これは、参照透過性を保つためには値を複製した上で結果として返す必要があるが、その後複製元を二度と使用しない(参照しない)ことが保証できるのであれば、わざわざ複製せずとも直接破壊的に値を更新しても構わない、という考え方に基づく。例えば、変数aに1を加算するには a = 1a2 = a + 1 のようにして、以降a2を使用する。もし今後もa = 1という前提で使用するならばこの方法しかないが、そうでなければaは無駄になる。しかし、プログラマはa = 1を二度と使用しないとわかっていても処理系にはわからない。それを処理系に知らせる手段が一意型(一意性型属性)である。処理系がa = 1という定義を二度と使用しないとわかりさえすればa2は不要となり、aを破壊的に更新していけばよい。無論a = 1であることを期待してaを使用すると期待通りに動かなくなるが、それは最初に処理系と交わした約束を破ったということにほかならない。つまり、aの管理はプログラマが責任を持って行うことになる。 (ja)
  • 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 Miranda, Haskell en ML. Clean is beschikbaar voor Windows, Linux en OS X. (nl)
  • 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. (pt)
  • Clean — чистый функциональный язык программирования, поддерживающий основные принципы парадигмы функционального программирования. Для вычислений использует традиционные математические способы вывода значений — унифицированную подстановку и математическую индукцию. (ru)
  • Concurrent Clean,簡稱Clean,是純函數式程序设计語言,它和Haskell有很多相似之處。Clean是用C寫成的。 Clean程式很容易跨平台,在大部分情況下,要轉移到另一個平台只需在那裏重新編譯一次即可,不用改動原始碼。 (zh)
dbo:designer
dbo:influenced
dbo:influencedBy
dbo:latestReleaseVersion
  • 2.4
dbo:license
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 161878 (xsd:integer)
dbo:wikiPageRevisionID
  • 741332874 (xsd:integer)
dbp:fileExt
  • .icl, .dcl, .abc, .o, .sapl
dbp:logo
  • 250 (xsd:integer)
dbp:operatingSystem
dbp:paradigm
dbp:typing
dbp:wordnet_type
dct:subject
rdf:type
rdfs:comment
  • In computer science, Clean is a general-purpose purely functional computer programming language. For much of the language's active development history it was called Concurrent Clean, but this was dropped at some point. (en)
  • 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 uniqueness typing für die Ein- und Ausgabe anstelle einer Monade. (de)
  • 一意型により、参照透過性を保ちつつ、ファイルの破壊的な更新などができる。これは、参照透過性を保つためには値を複製した上で結果として返す必要があるが、その後複製元を二度と使用しない(参照しない)ことが保証できるのであれば、わざわざ複製せずとも直接破壊的に値を更新しても構わない、という考え方に基づく。例えば、変数aに1を加算するには a = 1a2 = a + 1 のようにして、以降a2を使用する。もし今後もa = 1という前提で使用するならばこの方法しかないが、そうでなければaは無駄になる。しかし、プログラマはa = 1を二度と使用しないとわかっていても処理系にはわからない。それを処理系に知らせる手段が一意型(一意性型属性)である。処理系がa = 1という定義を二度と使用しないとわかりさえすればa2は不要となり、aを破壊的に更新していけばよい。無論a = 1であることを期待してaを使用すると期待通りに動かなくなるが、それは最初に処理系と交わした約束を破ったということにほかならない。つまり、aの管理はプログラマが責任を持って行うことになる。 (ja)
  • 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 Miranda, Haskell en ML. Clean is beschikbaar voor Windows, Linux en OS X. (nl)
  • 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. (pt)
  • Clean — чистый функциональный язык программирования, поддерживающий основные принципы парадигмы функционального программирования. Для вычислений использует традиционные математические способы вывода значений — унифицированную подстановку и математическую индукцию. (ru)
  • Concurrent Clean,簡稱Clean,是純函數式程序设计語言,它和Haskell有很多相似之處。Clean是用C寫成的。 Clean程式很容易跨平台,在大部分情況下,要轉移到另一個平台只需在那裏重新編譯一次即可,不用改動原始碼。 (zh)
rdfs:label
  • Clean (programming language) (en)
  • Clean (Programmiersprache) (de)
  • Clean (ja)
  • Clean (programmeertaal) (nl)
  • Clean (pt)
  • Clean (ru)
  • Concurrent Clean (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • Clean (en)
foaf:page
is dbo:influenced of
is dbo:influencedBy of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of