Clean (programming language)
http://dbpedia.org/resource/Clean_(programming_language) an entity of type: Thing
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.
rdf:langString
Clean je v informatice univerzální čistě funkcionální programovací jazyk, který je silně ovlivněn jazykem Haskell.
rdf:langString
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.
rdf:langString
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.
rdf:langString
Clean（クリーン）は、プログラミング言語の一つで、純粋関数型言語である。Haskell とよく似ている。 により、参照透過性を保ちつつ、ファイルの破壊的な更新などができる。これは、参照透過性を保つためには値を複製した上で結果として返す必要があるが、その後複製元を二度と使用しない（参照しない）ことが保証できるのであれば、わざわざ複製せずとも直接破壊的に値を更新しても構わない、という考え方に基づく。例えば、変数aに1を加算するには a = 1a2 = a + 1 のようにして、以降a2を使用する。もし今後もa = 1という前提で使用するならばこの方法しかないが、そうでなければaは無駄になる。しかし、プログラマはa = 1を二度と使用しないとわかっていても処理系にはわからない。それを処理系に知らせる手段が一意型（一意性型属性）である。処理系がa = 1という定義を二度と使用しないとわかりさえすればa2は不要となり、aを破壊的に更新していけばよい。無論a = 1であることを期待してaを使用すると期待通りに動かなくなるが、それは最初に処理系と交わした約束を破ったということにほかならず、コンパイラの型推論システムはaを一意型に型付けしない。つまり、aの管理はコンパイラの型推論システムが責任を持って行うことになる。
rdf:langString
클린(Clean)은 범용 프로그래밍 언어이다. 언어의 활동적인 개발 역사 대부분에서 컨커런트 클린(Concurrent Clean)이라는 이름이 사용되었으나 어느 지점에서 이 이름의 사용은 중단되었다. 클린은 1987년 Nijmegen의 Radboud University의 연구원 단체에 의해 개발되었다.
rdf:langString
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.
rdf:langString
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.
rdf:langString
Clean — чистый функциональный язык программирования, поддерживающий основные принципы парадигмы функционального программирования. Для вычислений использует традиционные математические способы вывода значений — унифицированную подстановку и математическую индукцию.
rdf:langString
Clean，在開發期間稱為Concurrent Clean，是純函數式程序设计語言。Clean由荷蘭的奈梅亨拉德伯德大学自1987年开始製作和維護。
rdf:langString
rdf:langString
Clean
rdf:langString
Clean
rdf:langString
Clean (Programmiersprache)
rdf:langString
Clean (programming language)
rdf:langString
Clean
rdf:langString
클린 (프로그래밍 언어)
rdf:langString
Clean (programmeertaal)
rdf:langString
Clean
rdf:langString
Clean
rdf:langString
Clean (编程语言)
rdf:langString
Clean
rdf:langString
Clean
xsd:integer
161878
xsd:integer
1095618827
rdf:langString
Software Technology Research Group of Radboud University Nijmegen
rdf:langString
Lean, Miranda, Haskell
xsd:date
2022-01-05
xsd:double
3.1
rdf:langString
Clean_3.0__logo.svg
rdf:langString
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.
rdf:langString
Clean je v informatice univerzální čistě funkcionální programovací jazyk, který je silně ovlivněn jazykem Haskell.
rdf:langString
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.
rdf:langString
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.
rdf:langString
Clean（クリーン）は、プログラミング言語の一つで、純粋関数型言語である。Haskell とよく似ている。 により、参照透過性を保ちつつ、ファイルの破壊的な更新などができる。これは、参照透過性を保つためには値を複製した上で結果として返す必要があるが、その後複製元を二度と使用しない（参照しない）ことが保証できるのであれば、わざわざ複製せずとも直接破壊的に値を更新しても構わない、という考え方に基づく。例えば、変数aに1を加算するには a = 1a2 = a + 1 のようにして、以降a2を使用する。もし今後もa = 1という前提で使用するならばこの方法しかないが、そうでなければaは無駄になる。しかし、プログラマはa = 1を二度と使用しないとわかっていても処理系にはわからない。それを処理系に知らせる手段が一意型（一意性型属性）である。処理系がa = 1という定義を二度と使用しないとわかりさえすればa2は不要となり、aを破壊的に更新していけばよい。無論a = 1であることを期待してaを使用すると期待通りに動かなくなるが、それは最初に処理系と交わした約束を破ったということにほかならず、コンパイラの型推論システムはaを一意型に型付けしない。つまり、aの管理はコンパイラの型推論システムが責任を持って行うことになる。
rdf:langString
클린(Clean)은 범용 프로그래밍 언어이다. 언어의 활동적인 개발 역사 대부분에서 컨커런트 클린(Concurrent Clean)이라는 이름이 사용되었으나 어느 지점에서 이 이름의 사용은 중단되었다. 클린은 1987년 Nijmegen의 Radboud University의 연구원 단체에 의해 개발되었다.
rdf:langString
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.
rdf:langString
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.
rdf:langString
Clean — чистый функциональный язык программирования, поддерживающий основные принципы парадигмы функционального программирования. Для вычислений использует традиционные математические способы вывода значений — унифицированную подстановку и математическую индукцию.
rdf:langString
Clean，在開發期間稱為Concurrent Clean，是純函數式程序设计語言。Clean由荷蘭的奈梅亨拉德伯德大学自1987年开始製作和維護。
rdf:langString
.icl, .dcl, .abc
xsd:nonNegativeInteger
15746
xsd:date
2022-01-05
xsd:string
3.1