The Omega interpreter
is a
strict pure
Pure may refer to:
Computing
* A pure function
* A pure virtual function
* PureSystems, a family of computer systems introduced by IBM in 2012
* Pure Software, a company founded in 1991 by Reed Hastings to support the Purify tool
* Pure-FTPd, F ...
functional programming
In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in which function definitions are trees of expressions that ...
interpreter similar to the
Hugs Haskell
Haskell () is a general-purpose, statically-typed, purely functional programming language with type inference and lazy evaluation. Designed for teaching, research and industrial applications, Haskell has pioneered a number of programming lan ...
interpreter. The syntax closely resembles that of Haskell but with important differences:
* 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
Portland State University (PSU) is a public research university in Portland, Oregon. It was founded in 1946 as a post-secondary educational institution for World War II veterans. It evolved into a four-year college over the following two decad ...
'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.
References
External links
Ωmega download page
{{DEFAULTSORT:Omega
Free Haskell implementations