Hope
<language> 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].
| < Previous Terms | Terms Containing Hope | Next Terms > |
| Honeywell-800 Business Compiler HOOD HOOK hook hop |
applicative order reduction bang path Bletchley Park boundary value analysis cargo cult programming |
Hope+ Hope+C Hopfield model Hopfield network horizontal application |
