Omega interpreter

Omega
Omega
Original author	Tim Sheard
Developer	Portland State University
Release	March 3, 2005; 21 years ago
Stable release	1.5 / April 29, 2011; 15 years ago
Operating system	Cross-platform
Type	Interpreter
License	BSD 3-clause
Website	web.cecs.pdx.edu/~sheard/Omega

The Omega interpreter^[1] (sometimes written as Ωmega) is a strict pure functional programming interpreter similar to the Hugs Haskell interpreter. The syntax closely resembles that of Haskell but with important differences:

Omega uses strict evaluation (Hugs uses lazy evaluation);
Ability to introduce new kinds;
Allows writing functions at the type level.

Other differences are documented in the Omega user guide.^[1]

Omega was developed by Professor Tim Sheard of Portland State University's Computer Science Department as a language with an infinite hierarchy of computational levels, e.g., value, type, kind, sort. The underlying concept is that data, and functions manipulating data, can be introduced at any level.^[2]

References

1 2 Sheard, Tim. Ωmega Users' Guide. Retrieved 2007-06-09.
↑ Sheard, Tim; Linger, Nathan (June 30, 2007). "Programming in Ωmega". 2nd Central European Functional Programming School.