Clean

Clean
パラダイム	関数型言語
登場時期	1987
設計者	Software Technology Research Group of Radboud University Nijmegen
最新リリース	3.0/ 2018年10月2日 (6年前)
型付け	強い型付け, 静的型付け, 動的型付け
影響を受けた言語	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:コンピュータ）。