Opal (programming language)

OPAL (OPtimized Applicative Language)^[1] is a functional programming language first developed at Technische Universität Berlin.

There is a later framework for static code analysis also called Opal.^[2]

This is an example OPAL program, which calculates the GCD recursively.

Signature file (declaration)

   SIGNATURE GCD    FUN GCD: nat ** nat -> nat 

Implementation file (definition)

   IMPLEMENTATION GCD    IMPORT Nat COMPLETELY    DEF GCD(a,b) == IF a % b = 0 THEN b                        ELSE IF a-b < b THEN GCD(b,a-b)                            ELSE GCD(a-b,b)                        FI                    FI 

• The OPAL Home Page, archived, last modified 30 September 2010.
• OPAL Installation Guide, archived.

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e