Clean
非正格評価の純粋関数型言語
昔はConcurrent Cleanと呼ばれていた
標準でGUIライブラリを持つ
コンパイラが生成する実行コードが高速
文法は、Haskellに近い
入出力の表現方法や正格性の注釈などに違いがある
>Haskellと相互に影響を与え合ったもう一つの純粋関数型言語Cleanでは、一度参照したら二度と参照しないという一意性をその値の型に付加属性として与え、代入を利用しつつ参照透過性を維持し、効率化も実現している。ref
純粋さの担保のために、参照の回数を見るのね
Affine型と関連がありそう