カレイドスコープ（プログラミング言語）
Kaleidoscopeプログラミング言語は、命令型オブジェクト指向言語に制約を埋め込んだ制約プログラミング言語です。キーワードalways、once、assert .. during（旧while .. assert）を追加することで、関係不変条件に関するステートメントを作成できます。オブジェクトには、ユーザー定義データ型の意味を強制するための制約コンストラクタ（メソッドではありません）があります。
カレイドスコープには3つのバージョンがあり、宣言的なスタイルから命令形へと進化しています。それぞれのバージョンの違いは次のとおりです。[1]
| 万華鏡'90 | 万華鏡'91 | 万華鏡'93 | |
|---|---|---|---|
| 制約評価 | 怠け者 | 熱心な | 熱心な |
| 変数 | ストリームを保持する | ストリームを保持する | 命令形 |
| 同時制約 | 厳しい | 厳しい | 非厳格 |
| 構文 | スモールトークのような | アルゴルのような | アルゴルのような |
| 制約モデル | 洗練 | 洗練 | 摂動 |
| メソッドディスパッチ | シングル | 複数 | 複数 |
| 割り当て | 制約として | 制約として | 破壊的 |
例
2 つのコード セグメントを比較します。どちらのコード セグメントでも、ユーザーはマウスを使用して、シンプルなグラフィカル温度計内の水銀レベルをドラッグできます。
制約なし:
mouse.button = down の状態で 古い <- mercury.top; mercury.top <- mouse.location.y; 温度 <- 水銀高度 / スケール; display_number(温度); old < mercury.top の場合 delta_grey( 古い、 mercury.top ); elseif old > mercury.top then delta_white( mercury.top, old ); 終了の場合;終了しながら;
制約あり:
常に: temperature = mercury.height / scale;常に: 白い長方形(温度計);常に: 灰色の四角形(水銀);常に: 数値(温度)を表示します。mouse.button = down の状態で mercury.top = マウスの位置 y;終了しながら;
参考文献
- ロペス、ガス、ビョルン・フリーマン＝ベンソン、アラン・ボーニング (1994). 「カレイドスコープ：制約命令型プログラミング言語」.制約プログラミング. シュプリンガー・フェアラーク. pp. 313– 329.
- マリオット、キム、ピーター・J・スタッキー (1998).制約付きプログラミング入門. MITプレス. ISBN 0-262-13341-5
- ^ Lopez, Gus; Freeman-Benson, Bjorn; Borning, Alan (1993). 「Kaleidoscope: A Constraint Imperative Programming Language」(PDF) . constraints.cs.washington.edu . 2023年12月30日閲覧。
