Opal (lenguaje de programación)

OPAL ( OPtimized Applicative 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 estático de código también llamado Opal. ^{[ 2 ]}

Este es un ejemplo de programa OPAL que calcula el máximo común divisor de forma recursiva.

Archivo de firma (declaración)

FIRMA GCD DIVERTIDA GCD: nat ** nat -> nat

Archivo de implementación (definición)

IMPLEMENTACIÓN MCD IMPORT Nat COMPLETAMENTE DEF MCD(a,b) == SI a % b = 0 ENTONCES b SINO SI ab < b ENTONCES MCD(b,ab) SINO MCD (ab,b) FI FI

• Página principal de OPAL , archivada, última modificación: 30 de septiembre de 2010.
• Guía de instalación de OPAL , archivada.