Opal (programming language)

Jump to content
From Wikipedia, the free encyclopedia

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]

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]
  1. ^ "Opal". TU-Berlin/opal - Optimized Applicative Language. Retrieved 2023-09-23.
  2. ^ "Home page". OPAL Project. Retrieved 2023-11-25.
[edit]


    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

    1. ^ "Opal". TU-Berlin/opal - Optimized Applicative Language. Retrieved 2023-09-23.
    2. ^ "Home page". OPAL Project. Retrieved 2023-11-25.
    • The OPAL Home Page, archived, last modified 30 September 2010.
    • OPAL Installation Guide, archived.


    Retrieved from "https://en.wikipedia.org/w/index.php?title=Opal_(programming_language)&oldid=1247249871"