Hope
A {functional programming} language designed by
R.M. Burstall, D.B. MacQueen and D.T. Sanella at {University
of Edinburgh} in 1978. It is a large language supporting
user-defined {prefix}, {infix} or {distfix} operators. Hope
has {polymorphic} typing and allows {overloading} of operators
which requires explicit type declarations. Hope has {lazy
lists} and was the first language to use {call-by-pattern}.
It has been ported to {Unix}, {Macintosh}, and {IBM PC}.
See also {Hope:}, {Hope:C}, {Massey Hope}, {Concurrent Massey
Hope}.
{(ftp://brolga.cc.uq.oz.au/pub/hope)}.
[R.M.Burstall, D.B.MacQueen, D.T.Sanella, "HOPE: An
experimental applicative language", Proc. 1980 Lisp conf.,
Stanford, CA, p.136-143, Aug 1980].
["A HOPE Tutorial", R. Bailey, BYTE Aug 1985, pp.235-258].
["Functional Programming with Hope", R. Bailey, Ellis Horwood
1990].
(1992-11-27)