OPAL ( Optimized Application Language ) [1] es un lenguaje de programación funcional desarrollado por primera vez en la Universidad Técnica de Berlín .
Existe un marco posterior para el análisis de código estático también llamado Opal. [2]
Este es un programa OPAL de ejemplo, que calcula el MCD de forma recursiva.
FIRMA MCD DIVERTIDO MCD: nat ** nat -> nat
IMPLEMENTACIÓN MCD IMPORTAR Nat COMPLETAMENTE DEF MCD(a,b) == SI a % b = 0 ENTONCES b SI NO SI ab < b ENTONCES MCD(b,ab) SI NO MCD(ab,b) FI FI