Clean

Clean
パラダイム	関数かんすう型がた言語げんご
登場とうじょう時期じき	1987
設計せっけい者しゃ	Software Technology Research Group of Radboud University Nijmegen
最新さいしんリリース	3.0/ 2018年ねん10月がつ2日にち (5年ねん前まえ)
型付かたつけ	強つよい型付かたつけ, 静的せいてき型付かたつけ, 動的どうてき型付かたつけ
影響えいきょうを受うけた言語げんご	Lean、Miranda、Haskell
拡張子かくちょうし	.icl、.dcl、.abc、.obj
	テンプレートを表示ひょうじ

■カテゴリ / ■テンプレート

Clean（クリーン）は、プログラミング言語げんごの一ひとつで、純粋じゅんすい関数かんすう型がた言語げんごである。Haskell とよく似にている。

一意いちい型がた（英語えいご版ばん）により、参照さんしょう透過とうか性せいを保たもちつつ、ファイルの破壊はかい的てきな更新こうしんなどができる。これは、参照さんしょう透過とうか性せいを保たもつためには値ねを複製ふくせいした上うえで結果けっかとして返かえす必要ひつようがあるが、その後ご複製ふくせい元もとを二度にどと使用しようしない（参照さんしょうしない）ことが保証ほしょうできるのであれば、わざわざ複製ふくせいせずとも直接ちょくせつ破壊はかい的てきに値ねを更新こうしんしても構かまわない、という考かんがえ方かたに基もとづく。例たとえば、変数へんすうaに1を加算かさんするには

a = 1
a2 = a + 1

のようにして、以降いこうa2を使用しようする。もし今後こんごもa = 1という前提ぜんていで使用しようするならばこの方法ほうほうしかないが、そうでなければaは無駄むだになる。しかし、プログラマはa = 1を二度にどと使用しようしないとわかっていても処理しょり系けいにはわからない。それを処理しょり系けいに知しらせる手段しゅだんが一意いちい型がた（一意いちい性せい型がた属性ぞくせい）である。処理しょり系けいがa = 1という定義ていぎを二度にどと使用しようしないとわかりさえすればa2は不要ふようとなり、aを破壊はかい的てきに更新こうしんしていけばよい。無論むろんa = 1であることを期待きたいしてaを使用しようすると期待きたい通どおりに動うごかなくなるが、それは最初さいしょに処理しょり系けいと交かわした約束やくそくを破やぶったということにほかならず、コンパイラの型かた推論すいろんシステムはaを一意いちい型がたに型付かたつけしない。つまり、aの管理かんりはコンパイラの型かた推論すいろんシステムが責任せきにんを持もって行おこなうことになる。

外部がいぶリンク

Clean 公式こうしきウェブサイト
純粋じゅんすい遅延ちえん関数かんすう型がた言語げんごConcurrent Clean

この項目こうもくは、コンピュータに関連かんれんした書かきかけの項目こうもくです。この項目こうもくを加筆かひつ・訂正ていせいなどしてくださる協力きょうりょく者しゃを求もとめています（PJ:コンピュータ/P:コンピュータ）。