Jump to content

Opal (programming language)

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Pol098 (talk | contribs) at 17:19, 25 November 2023 (also static code analysis project). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

OPAL (OPtimized Applicative Language) is a functional programming language first developed at the Technical University of Berlin.

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

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

  1. ^ "Home page". OPAL Project. Retrieved 2023-11-25.