Ωmega
Appearance
Original author(s) | Tim Sheard |
---|---|
Developer(s) | Portland State University |
Initial release | March 3, 2005 |
Stable release | 1.5
/ April 29, 2011 |
Operating system | Cross-platform |
Type | Interpreter |
License | BSD 3-clause |
Website | web |
The Omega 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:
- 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
[edit]- ^ a b 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.
External links
[edit]- web
.cecs .pdx .edu /~sheard /Omega, with download