Opal (programming language)

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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]

Example program

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

References

^ "Opal". TU-Berlin/opal - Optimized Applicative Language. Retrieved 2023-09-23.
^ "Home page". OPAL Project. Retrieved 2023-11-25.

External links

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.

[1] "Opal". TU-Berlin/opal - Optimized Applicative Language. Retrieved 2023-09-23.

[2] "Home page". OPAL Project. Retrieved 2023-11-25.

[1]

[2]