OPAL (OPtimized Applicative Language) is a functional programming language first developed at Technische Universität Berlin.
There is a later framework for static code analysis also called Opal.[1]
This is an example OPAL program, which calculates the GCD recursively.
SIGNATURE GCD FUN GCD: nat ** nat -> nat
IMPLEMENTATION GCD IMPORT Nat COMPLETELY DEF GCD(a,b)
References