Intérprete Omega

El intérprete Omega ^{[ 1 ]} (a veces escrito como Ωmega ) es un intérprete de programación funcional puramente estricto similar al intérprete Hugs Haskell . La sintaxis se asemeja mucho a la de Haskell, pero con diferencias importantes:

• Omega utiliza una evaluación estricta (Hugs utiliza una evaluación perezosa );
• Capacidad para introducir nuevos tipos;
• Permite escribir funciones a nivel de tipo.

Otras diferencias se documentan en la guía del usuario de Omega. ^{[ 1 ]}

Omega fue desarrollado por el profesor Tim Sheard del Departamento de Ciencias de la Computación de la Universidad Estatal de Portland como un lenguaje con una jerarquía infinita de niveles computacionales, por ejemplo, valor, tipo, clase, ordenación. El concepto subyacente es que los datos y las funciones que los manipulan pueden introducirse en cualquier nivel. ^{[ 2 ]}

• web .cecs .pdx .edu /~sheard /Omega , con descarga