Opal (programming language)

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

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

[edit | edit source]

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

[edit | edit source]
  1. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  2. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
[edit | edit source]