Opal (プログラミング言語)

OPAL（OPtimized Applicative Language）^[1]は、ベルリン工科大学で最初に開発された関数型プログラミング言語です。

静的コード解析のための新しいフレームワークも存在し、これもOpalと呼ばれています。^[2]

これは、 GCD を再帰的に計算する OPAL プログラムの例です。

署名ファイル（宣言）

   署名GCD
   楽しいGCD: nat ** nat -> nat

実装ファイル（定義）

   実装GCD
   インポートNat完全に
   DEF GCD(a,b) == IF a % b = 0 THEN b
                        ELSE IF ab < b THEN GCD(b,ab)
                            ELSE GCD(ab,b)
                        FI 
                   FI

• OPAL ホームページ、アーカイブ、最終更新日 2010 年 9 月 30 日。
• OPAL インストール ガイド (アーカイブ)。