Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Hope+
Jump to user comments
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