Omega is a general purpose problem solving language. It is side-effect free and declarative. It is a pure calculus of types where each type characterizes a category. It implements the logic of property based types (PBT) which is incomplete (i.e., does not require that everything about the problem be known or knowable), intensional (i.e., can distinguish between reference and meaning) and sound (i.e., guarantees valid results when given valid information). In contrast, most programing languages are complete, extensional and unsound. Types in Omega are immutable but can accurately characterize any mutable or imaginable thing.
This presentation will discuss the grammar, vocabulary and semantics of Omega together with examples. Bring your favorite problems or examples from a functional language and we will look at how they are rendered in Omega.
David A. Fisher is the presenter, the designer of Omega, and the lead implementor.