The Omega interpreter
is a
strict
In mathematical writing, the term strict refers to the property of excluding equality and equivalence and often occurs in the context of inequality and monotonic functions. It is often attached to a technical term to indicate that the exclusiv ...
pure 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 decades ...
'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