|Developer(s)||Portland State University|
1.5 / April 29, 2011
|License||New BSD License|
|Website||Omega download page|
- Omega is strict (Hugs is lazy);
- Ability to introduce new kinds;
- Allows writing of functions at the type level.
Other differences are documented in the Omega user guide.
Omega was developed by Prof. Tim Sheard of Portland State University's Computer Science Department as a language with an infinite hierarchy of computational levels (value, type, kind, sort, etc.). The underlying concept is that data, and functions manipulating data, can be introduced at any level.
- "Ωmega Users' Guide". Retrieved 2007-06-09.
- Sheard, Tim; Nathan Linger (June 30, 2007). "Programming in Ωmega". 2nd Central European Functional Programming School.