language, functional programming An extension of Hope

implemented in the Alvey Flagship project at ImperialCollege. Hope+ has vectors, real numbers, best fit patternmatching, lazy data constructors, absolute set abstractions

and constraints. It has a continuation-based I/O system

which posesses referential transparency and is capable of

handling all common I/O tasks such as terminal and file I/O,

signal handling and interprocess communications. It has

modules and separate compilation.