Omega interpreter

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]