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
External links
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
