Ωmega
From Wikipedia, the free encyclopedia
For other uses, see Omega (disambiguation).
| Ωmega | |
|---|---|
| Developed by | Portland State University |
| Latest release | 1.4.2 / Jun 9, 2007 |
| OS | Cross-platform |
| Genre | Interpreter |
| License | Copyrighted |
| Website | Ωmega download page |
The Ωmega interpreter[1] is a strict pure functional programming interpreter similar to the Hugs Haskell interpreter. The syntax closely resembles that of Haskell but with important differences:
- Ωmega is strict (Hugs is lazy);
- Support for Generalized Algebraic Datatypes;
- Ability to introduce new types;
- Allows writing of functions at the type level.
For other crucial differences, please consult the Ωmega user guide.
Ωmega 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.[2]
[edit] References
- ^ Ωmega Users' Guide. Retrieved on 2007-06-09.
- ^ Sheard, Tim; Nathan Linger (June 23-30, 2007). "Programming in Ωmega". 2nd Central European Functional Programming School.
