オブリク

Obliq は、分散型およびローカルマルチスレッドコンピューティングをよりシンプルで簡単にプログラムできるように設計された、インタープリタ型のオブジェクト指向 プログラミング言語であり、プログラムの安全性と暗黙的な型システムを提供します。インタープリタはModula-3で記述されており、Obliq は Modula-3 のネットワークオブジェクト機能に完全にアクセスできます。レコードの連結、サブタイプ、再帰型の型推論アルゴリズムが Obliq 用に開発されました。さらに、これはNP 完全^[1]であることが証明されており、その最低複雑度はΟ ( n ³ ) であり、他のモデリングでは特定の条件までΟ ( n ² ) ^[2]まで下がります。 最もよく知られている実装はΟ ( n ⁵ )で実行されます。^{[3] [矛盾] Obliqの構文はModula-3と非常によく似ていますが、最大の違いは、Obliqでは明示的に型指定された}変数 が必要ないことです（つまり、変数は型チェッカーで許可されている任意のデータ型を保持でき、受け入れない場合は、指定された式の実行エラーが表示されます）。ただし、明示的な型宣言は許可され、インタープリターによって無視されます。言語の基本的なデータ型には、ブール値、整数、実数、文字、文字列、配列があります。Obliqは、通常の一連の順次制御構造（条件、反復、例外処理形式）と、並行性のための特別な制御形式（ミューテックスとガードされたステートメント）をサポートしています。さらに、Obliqのオブジェクトは、分散ネットワークオブジェクト内の任意のマシンによってリモートで複製および安全にコピーでき、安全かつ透過的に実行できます。^[4]

Obliq の大規模な標準ライブラリは、数学的演算、入出力(I/O)、永続性、スレッド制御、グラフィックス、アニメーションを強力にサポートします。分散コンピューティングはオブジェクト ベースです。オブジェクトは、1 つのプロセスに対してローカルな状態を保持します。オブジェクトおよびその他の変数のスコープは、完全に語彙的です。オブジェクトは、ネットワーク上の別のマシン上にある場合でも、他のオブジェクトのメソッドを呼び出すことができます。Obliq オブジェクトは、単に名前付きフィールドのコレクション ( SelfおよびSmalltalkのスロットに類似) であり、委任による継承(Self など) をサポートします。

Obliq の一般的な用途には、ネットワーク経由のプログラミング、3D アニメーション、およびEthernetなどのローカル エリア ネットワーク(LAN)上で行われる分散コンピューティングが含まれます。Obliq はDigital Equipment Corporation (DEC) Modula-3 ディストリビューションに無料で含まれていますが、他の無料バージョンも存在し、複数のオペレーティング システム用のコンパイル済みバイナリも含まれています。

• Collaborative Active Textbooks（CAT）^[5]は、Obliqアプレット^[6]とZeus ^{[7]アルゴリズムアニメーションシステム（} Modula-3で記述）を使用して開発されました。
• Obliqアプレット（Oblets）^[6]特殊なウェブブラウザ（Modula-3で記述）Obliqウェブページ組み込みアプリケーション。^[8]

• 公式サイト
• Luca Cardelliの Obliq クイック スタート ページ (2008-10-17 にアーカイブ)